Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #1160 de développement

Dvpt ID : 426
User ID : 328
Fichier :
Références :
Lectures on the Curry-Howard Isomorphism - M. H. Sørensen, P. Urzyczyn
Term rewriting and All That - Franz Baader
✏️ Modifier