L equivalence de Curry Howard en logique lineaire
22 pages
Français

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

L'equivalence de Curry Howard en logique lineaire

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
22 pages
Français
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

Extrait

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