Lambda-calcul, évaluation paresseuse et mise en mémoire
Open Access
- 1 January 1991
- journal article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 25 (1) , 67-84
- https://doi.org/10.1051/ita/1991250100671
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Programming with proofs: A second order type theoryPublished by Springer Nature ,1988
- Reasoning about functional programs and complexity classes associated with type disciplinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesPublished by Elsevier ,1971