Categories for Types - Roy L. Crole
-35% koodilla BOOKS
Toimitus 15-21 arkipäivässä
30 päivän palautusoikeus
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Saatat myös pitää
Kuvaus
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Lisätietoja
| Kirjoittaja | Roy L. Crole |
|---|---|
| Julkaisija | Cambridge University Press |
| Julkaisuvuosi | 2002 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9780521457019 |