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
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin