Demonstrating Lambda Calculus Reduction

DOI10.1016/S1571-0661(04)80973-3zbMath1260.68221OpenAlexW2148436662MaRDI QIDQ4917067

Peter Sestoft

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80973-3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Uses Software

• ML

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Deriving a lazy abstract machine
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Demonstrating Lambda Calculus Reduction