Notice RAMEAU

  • Notice
Isomorphisme de Curry-Howard



Vedette matière nom commun. S'emploie en tête de vedette.

<Employé pour : 
Correspondance de Curry-Howard
Curry-Howard, Correspondance de
Curry-Howard, Isomorphisme de

<<Terme(s) générique(s) :
Isomorphismes (mathématiques)

>><<Terme(s) associé(s) : 
Lambda-calcul

Source(s) : 
Le point aveugle : cours de logique / J.-Y. Girard, 2006 . - Proofs and types / J.-Y. Girard, Y. Lafont, P. Taylor, 1990

Domaine(s) : 510

Correspondance(s) : 
- LCSH  (Library of Congress Subject Headings) :  Curry-Howard isomorphism  http://id.loc.gov/authorities/subjects/sh2001002954

Notice n° :  FRBNF15116479

Création :  06/11/29
Mise à jour :  07/03/13

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (4)