The curry-howard isomorphism
- Auteur : Mélanie De Groote
- Editeur : Academia
- Collection : Hors collection
- Parution : 30/10/1998
- EAN : 9782872093632
- 364 pages
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 |
