Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

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