//img.uscri.be/pth/87ceb38e7e93496d74cc86b56b8dcc31b14c5176
Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

L'equivalence de Curry Howard en logique lineaire

De
22 pages
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


Voir plus Voir moins
Lequivalence
de
Curry
Howard
David Salinas
14
f´evri er
2010
en
logique
lineaire
Sommaire
Isomorphisme classique de Curry-Howard La logique intuitioniste NJ Construction de l’equivalence de Curry Howard Propriete fondamentale
L’isomorphisme lineaire de Curry Howard La logique intuitionniste lineaire Le λ calcul lineaire L’isomorphisme lineaire de Curry-Howard Interpretation