Conte aos seus amigos sobre este item:
Categories for Types
Crole, Roy L. (Imperial College of Science, Technology and Medicine, London)
Categories for Types
Crole, Roy L. (Imperial College of Science, Technology and Medicine, London)
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
356 pages, several line drawings
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 27 de janeiro de 1994 |
| ISBN13 | 9780521457019 |
| Editoras | Cambridge University Press |
| Páginas | 356 |
| Dimensões | 229 × 152 × 26 mm · 580 g |
| Idioma | English |
Presentes de Natal podem ser trocados até 31 de janeiro