A Note on Shortest Developments

DOI10.2168/LMCS-3(4:2)2007MaRDI QIDQ5453495zbMATH OpenFDO

Authors M. H. B. Sørensen

Publication date 1 April 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Publication:3202988
• A direct proof of the finite developments theorem
• Generalized finite developments
• scientific article; zbMATH DE number 1499097
• Effective longest and infinite reduction paths in untyped λ-calculi

Cited in

(3)

• The Church-Rosser theorem and quantitative analysis of witnesses
• Perpetual reductions in -calculus
• scientific article; zbMATH DE number 4179330 (Why is no real title available?)

This page was built for publication: A Note on Shortest Developments

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