Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #1159 de développement

Dvpt ID : 417
User ID : 328
Fichier :
Références :
Logique et fondements de l'informatique - Rougemont, Lassaigne
The Lambda Calculus. Its Syntax and Semantics - Henk Barendregt
Classical Recursion Theory - Piergiorgio Odifreddi
✏️ Modifier