Gödelisation in the lambda-Calculus

Authors

  • Mayer Goldberg

DOI:

https://doi.org/10.7146/brics.v2i38.21672

Abstract

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

See also BRICS RS-96-5

Downloads

Published

1995-07-04

How to Cite

Goldberg, M. (1995). Gödelisation in the lambda-Calculus. BRICS Report Series, 2(38). https://doi.org/10.7146/brics.v2i38.21672

Issue

No. 38 (1995): RS-38 Gödelisation in the lambda-Calculus

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.