The self-reduction in lambda calculus

DOI10.1016/S0304-3975(99)00190-5zbMath0938.68024MaRDI QIDQ1978706

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)

Related Items (2)

Self-quotation in a typed, intensional lambda-calculus ⋮ Programs as data structures in \(\lambda\)SF-calculus

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theoretical PearlsEnumerators of lambda terms are reducing
• Efficient self-interpretation in lambda calculus
• Introduction to generalized type systems
• Unnamed Item
• Unnamed Item

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