scientific article; zbMATH DE number 1522992

zbMATH Open0956.03010MaRDI QIDQ4511267FDOQ4511267

Authors: Torben Ægidius Mogensen 

Publication date: 30 October 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Shrinking lambda expressions in linear time
• Syntactic theories in practice
• 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)