L'equivalence de Curry Howard en logique lineaire

-

Français
22 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

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


Sujets

Informations

Publié par
Publié le 01 février 2010
Nombre de lectures 34
Langue Français
Signaler un problème
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