A Note on Shortest Developments

DOI10.2168/LMCS-3(4:2)2007zbMATH Open1131.68039MaRDI QIDQ5453495FDOQ5453495

Authors: M. H. B. Sørensen 

Publication date: 1 April 2008

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• The Church-Rosser theorem and quantitative analysis of witnesses
• Perpetual reductions in \(\lambda\)-calculus
• Title not available (Why is that?)

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)