Couverture : Open Library
Derivation and computation
taking the Curry-Howard correspondence seriously
Détails de l'édition
- ISBN-13
- 9780521771733
- ISBN-10
- 0521771730
- EAN
- 9780521771733
- Éditeur
- Cambridge university press (Cambridge)
- Date de publication
- 1 janvier 2000
- Langue
- eng
- Pages
- 384
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- subtitle BnF Catalogue général · 23 juillet 2026