- 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
Correspondance de Curry-Howard
Curry-Howard, Correspondance de
Curry-Howard, Isomorphisme de
Source(s) :
Le point aveugle : cours de logique / J.-Y. Girard, 2006 . - Proofs and types / J.-Y. Girard, Y. Lafont, P. Taylor, 1990
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
- LCSH (Library of Congress Subject Headings) : Curry-Howard isomorphism http://id.loc.gov/authorities/subjects/sh2001002954
Identifiant de la notice : ark:/12148/cb151164792
Notice n° :
FRBNF15116479
Création :
06/11/29
Mise à jour :
07/03/13
