Generalized finite developments

zbMATH Open1195.68028MaRDI QIDQ3400630FDOQ3400630

Authors: Jean-Jacques Lévy 

Publication date: 5 February 2010

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

zbMATH Keywords

lambda-calculusChurch-Rosser property

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• 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)