Classical logic, storage operators and second-order lambda-calculus
Open Access
- 9 June 1994
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 68 (1) , 53-78
- https://doi.org/10.1016/0168-0072(94)90047-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On the unity of logicAnnals of Pure and Applied Logic, 1993
- Opérateurs de mise en mémoire et traduction de GödelArchive for Mathematical Logic, 1990
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975