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. ©Electre 2025
Paru le : 01/01/1995
Thématique : Essais Scientifiques
Auteur(s) : Non précisé.
Éditeur(s) :
Editions Academia
Collection(s) : Cahier du Centre de logique
Contributeur(s) : Auteur : Philippe De Groote - Editeur scientifique (ou intellectuel) :
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782872093632
Reliure : Broché
Hauteur: 23.0 cm / Largeur 15.0 cm
Épaisseur: 1.9 cm
Poids: 510 g
Carte fidélité
Mollat Radio
