A correct-by-construction conversion from lambda calculus to combinatory logic

DOI10.1017/s0956796823000084OpenAlexW4388881078MaRDI QIDQ6065511

Wouter Swierstra

Publication date: 11 December 2023

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796823000084

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lectures on the Curry-Howard isomorphism
• \(\lambda\) to SKI, semantically -- declarative pearl
• Dependently Typed Programming in Agda
• Another algorithm for bracket abstraction
• Advanced Functional Programming
• Applicative programming with effects

This page was built for publication: A correct-by-construction conversion from lambda calculus to combinatory logic