View of Gödelisation in the lambda-Calculus (Extended Version)

Return to Article Details Gödelisation in the lambda-Calculus (Extended Version) Download Download PDF