L'equivalence de Curry Howard en logique lineaire
22
pages
Français
Documents
2010
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
22
pages
Français
Documents
2010
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
L'equivalence de Curry Howard en logique lineaire David Salinas 14 fevrier 2010
Voir
- equivalence de curry howard en logique lineaire
- isomorphisme classique de curry-howard
- logique intuitioniste
- nj construction de l'equivalence de curry
L’equivalence
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
