The self-reduction in lambda calculus

DOI10.1016/S0304-3975(99)00190-5MaRDI QIDQ1978706zbMATH OpenFDO

Authors Yanyan Li

Publication date 4 June 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Lambda calculusself-reduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Efficient self-interpretation in lambda calculus
• scientific article; zbMATH DE number 845591
• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 515729 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Theoretical PearlsEnumerators of lambda terms are reducing
• Efficient self-interpretation in lambda calculus
• Introduction to generalized type systems
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(9)

• Theoretical PearlsEnumerators of lambda terms are reducing
• scientific article; zbMATH DE number 1868923 (Why is no real title available?)
• scientific article; zbMATH DE number 7084951 (Why is no real title available?)
• scientific article; zbMATH DE number 515729 (Why is no real title available?)
• Refining reduction in the lambda calculus
• Reducibility Proofs in the λ-Calculus
• Self-quotation in a typed, intensional lambda-calculus
• Programs as data structures in \(\lambda\)SF-calculus
• Needed reduction and spine strategies for the lambda calculus

This page was built for publication: The self-reduction in lambda calculus

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