Retour à la liste

The curry-howard isomorphism - Mélanie  De Groote

The curry-howard isomorphism

N° de réf. 9782872093632

Expédié sous 2 à 5 jours

45,12 €
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
Dans la même collection
  En cours de chargement...