Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #1152 de développement

Lecon ID : 1244
User ID : 328
Comment : Fichier : 929.pdf
Références :
Logique et fondements de l'informatique - Rougemont, Lassaigne
Lectures on the Curry-Howard Isomorphism - M. H. Sørensen, P. Urzyczyn
The Lambda Calculus. Its Syntax and Semantics - Henk Barendregt
✏️ Modifier