skip to main content

Lectures on the Curry-Howard Isomorphism

Morten Heine Sørensen ; Morten Heine B Sørensen; Pawel Urzyczyn

Burlington Elsevier, 2006

Accessible en ligne

  • Titre:
    Lectures on the Curry-Howard Isomorphism
  • Auteur: Morten Heine Sørensen
  • Autre(s) auteur(s): Morten Heine B Sørensen; Pawel Urzyczyn
  • Éditeur: Burlington Elsevier
  • Date de publication: 2006
  • Langue: Anglais
  • Identifiant: ISBN 0-444-52077-5 ;ISBN 9786611051051 ;ISBN 1-281-05105-5 ;ISBN 0-08-047892-1
  • Source: Mines ParisTech (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré