GEOTRUST SSL CERTIFICATE
| Titre : | Curry-Howard Isomorphism |
| Auteurs : | Philippe De Groote, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Louvain-la-Neuve (Belgique) : Academia-Bruylant, 1995 |
| Collection : | Cahier du Centre de logique, num. 8 |
| ISBN/ISSN/EAN : | 978-2-87209-363-2 |
| Format : | 23 x 15 cm |
| Langues: | Français |
| Index. décimale : | 501 |
| 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. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
