Generalized finite developments

MaRDI QIDQ3400630zbMATH OpenFDO

Authors Jean-Jacques Lévy

Publication date 5 February 2010

zbMATH Keywords

lambda-calculusChurch-Rosser property

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 992007
• \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule
• A direct proof of the finite developments theorem
• Parallel reductions in \(\lambda\)-calculus
• Refining reduction in the lambda calculus

Cited in

(4)

• scientific article; zbMATH DE number 7204428 (Why is no real title available?)
• A Note on Shortest Developments
• A direct proof of the finite developments theorem
• Finite family developments

This page was built for publication: Generalized finite developments

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