Gödelization in the lambda calculus

DOI10.1016/S0020-0190(00)00071-5MaRDI QIDQ294781zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Publication:4722040
• scientific article; zbMATH DE number 515729
• scientific article; zbMATH DE number 1722696
• Binary lambda calculus and combinatory logic

Cites work

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

Cited in

(5)

• Compact serialization of Prolog terms (with Catalan skeletons, Cantor tupling and Gödel numberings)
• A construction of one-point bases in extended lambda calculi
• scientific article; zbMATH DE number 18638 (Why is no real title available?)
• On the formalization of gamma function in HOL
• Axioms for the Theory of Lambda-Conversion

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294781)