scientific article; zbMATH DE number 1953288

MaRDI QIDQ4414741zbMATHFDO

Authors Peter Sestoft

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660420.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Publication:4945227
• \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule
• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• Refining reduction in the lambda calculus
• Encoding left reduction in the λ-calculus with interaction nets

Cited in

(11)

• scientific article; zbMATH DE number 1868923 (Why is no real title available?)
• Effective longest and infinite reduction paths in untyped λ-calculi
• On randomised strategies in the \(\lambda \)-calculus
• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• scientific article; zbMATH DE number 50753 (Why is no real title available?)
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• Refining reduction in the lambda calculus
• Shrinking lambda expressions in linear time
• scientific article; zbMATH DE number 7204429 (Why is no real title available?)
• The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
• Evaluating lambda terms with traversals

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 Q4414741)