Gödelisation in the

-Calculus (Extended Version)

Mayer Goldberg

March 1996

Abstract:

Gödelisation is a meta-linguistic encoding of terms in a language. While it is impossible to define an operator in the -calculus which encodes all closed -expressions, it is possible to construct restricted versions of such an encoding operator modulo normalisation. In this paper, we propose such an encoding operator for proper combinators

Available as PostScript, PDF, DVI.

Last modified: 2003-06-08 by webmaster.