A general storage theorem for integers in call-by-name λ-calculus
- 20 June 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 129 (1) , 79-94
- https://doi.org/10.1016/0304-3975(94)90081-7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Classical logic, storage operators and second-order lambda-calculusAnnals of Pure and Applied Logic, 1994
- Lambda-calcul, évaluation paresseuse et mise en mémoireRAIRO - Theoretical Informatics and Applications, 1991
- 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