Marginalia to a theorem of Jacopini

MaRDI QIDQ2708320zbMATH OpenFDO

Authors Richard Statman

Publication date 17 April 2001

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

consistencylambda calculusbeta conversioneasy termnon-R.E. theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On the Jacopini technique
• Some new results on easy lambda-terms
• \(Y_C \Omega_{2n}\) are easy terms
• scientific article; zbMATH DE number 23772
• scientific article; zbMATH DE number 1342290

Cited in

(2)

• Easy lambda-terms are not always simple
• \(Y_C \Omega_{2n}\) are easy terms

This page was built for publication: Marginalia to a theorem of Jacopini

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