L'equivalence de Curry Howard en logique lineaire
-
22
pages
-
Français
-
Documents
-
2010
Écrit par
David Salinas
Publié par
pefav
-
22
pages
-
Français
-
Documents
-
2010
Description
L'equivalence de Curry Howard en logique lineaire David Salinas 14 fevrier 2010
- equivalence de curry howard en logique lineaire
- isomorphisme classique de curry-howard
- logique intuitioniste
- nj construction de l'equivalence de curry
-
Publié par
-
Publié le
01 février 2010
-
Langue
Français
Ajouté à mes notifications
Vous serez informé des prochaines publications.