Conte aos seus amigos sobre este item:
Categories for Types
Crole, Roy L. (Imperial College of Science, Technology and Medicine, London)
Preço
R$ 618,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 20 - 27 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
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 |