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

L'equivalence de Curry Howard en logique lineaire

-

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

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 51
Langue Français

Exrait

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
  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents