λμ-Calculus: An algorithmic interpretation of classical natural deduction
Top Cited Papers
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 190-201
- https://doi.org/10.1007/bfb0013061
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Free deduction: An analysis of “Computations” in classical logicPublished by Springer Nature ,1992
- Classical proofs as programs: How, what and whyPublished by Springer Nature ,1992
- Opérateurs de mise en mémoire et traduction de GödelArchive for Mathematical Logic, 1990
- A formulae-as-type notion of controlPublished by Association for Computing Machinery (ACM) ,1990