The curry-howard isomorphism

42,97 €
Expédié sous 2 à 5 jours

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.

EAN 9782872093632
ISBN 978-2-87209-363-2
Date de parution 30/10/1998
Nombres de pages 364
Type d’ouvrage Documents
Support Livre
Langue Français
Auteur(s) Mélanie De Groote
Editeur Academia
Collection Hors collection
Thème Droit > Droit international et étranger > Droit étranger
Format Papier
The curry-howard isomorphism
The curry-howard isomorphism
42,97 €