The curry-howard isomorphism

Expédié sous 2 à 5 jours

45,12 €
  • : Academia
  • : Hors collection
  • : 10/1998
  • : 978-2-87209-363-2
364 pages
Résumé

Résumé

This volume is devoted to the Formulae-as-Types correspondence, also widely known as the Curry-Howard isomorphism. So far this has been studied mainly by constructive logicians. But it has recently been revived by theoretical computer scientists, through the program-as-proof correspondence.
Caractéristiques
ISBN13 978-2-87209-363-2
Titre The curry-howard isomorphism
Date de parution 10/1998
Nombre de pages 364
Type d'ouvrage Autres documents
Support Livre
Langue Français
Auteur(s) Mélanie De Groote
Editeur / Collection / Sous-collection Academia / Hors collection
Thème Droit > Droit international et étranger > Droit étranger
ISBN10 2-87209-363-X
Format Papier
  Loading...