Gödelization in the lambda calculus

DOI10.1016/S0020-0190(00)00071-5zbMath1339.03016OpenAlexW2036107204MaRDI QIDQ294781

Mayer Goldberg

Publication date: 16 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019000000715?np=y

zbMATH Keywords

lambda calculusGödelization

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

A construction of one-point bases in extended lambda calculi

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Efficient self-interpretation in lambda calculus

This page was built for publication: Gödelization in the lambda calculus