scientific article; zbMATH DE number 1522992

MaRDI QIDQ4511267zbMATH OpenFDO

Authors Torben Ægidius Mogensen

Publication date 30 October 2000

zbMATH Keywords

operational semanticscost-measureslinear time self-interpretationpure untyped lambda calculusweak head normal form

Mathematics Subject Classification ID

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

Recommendations

• Linear-time self-interpretation of the pure lambda calculus
• (Leftmost-outermost) beta reduction is invariant, indeed
• Efficient self-interpretation in lambda calculus
• Term Rewriting and Applications
• The call-by-need lambda calculus

Cited in

(5)

• Syntactic theories in practice
• scientific article; zbMATH DE number 515729 (Why is no real title available?)
• scientific article; zbMATH DE number 445159 (Why is no real title available?)
• Shrinking lambda expressions in linear time
• Linear-time self-interpretation of the pure lambda calculus

This page was built for publication:

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