A correct-by-construction conversion from lambda calculus to combinatory logic
From MaRDI portal
Publication:6065511
DOI10.1017/s0956796823000084OpenAlexW4388881078MaRDI QIDQ6065511
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
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