Classical proofs as programs
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 263-276
- https://doi.org/10.1007/bfb0022575
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A new constructive logic: classic logicMathematical Structures in Computer Science, 1991
- 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
- Reasoning about functional programs and complexity classes associated with type disciplinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983