文章基本信息

标题：Gödelisation in the lambda-Calculus (Extended Version)
本地全文：下载
作者：Mayer Goldberg
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1996
卷号：3
期号：5
出版社：Aarhus University
摘要：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 modulo normalisation. In this paper, we propose such an encoding operator for proper combinators. Keywords: Programming Calculi; lambda-Calculus; G¨odelisation.