Categories for Types - Roy L. Crole
-40% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Võib-olla meeldib sulle ka
Kirjeldus
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Lisateave
| Autor | Roy L. Crole |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2002 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780521457019 |