Categories for Types - Paperback - 1994
Roy L. Crole
Estado :
Novo
Vendido por
País de expedição : Reino Unido
Comentários do vendedor
Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed
Resumo
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Year of publication: 1994
Pagination: 356 pages, several line drawings
Format: Paperback
Year of publication: 1994
Pagination: 356 pages, several line drawings
Format: Paperback
Categories for Types - Paperback - 1994
Resumo
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Year of publication: 1994
Pagination: 356 pages, several line drawings
Format: Paperback
Year of publication: 1994
Pagination: 356 pages, several line drawings
Format: Paperback
Publicidade
Avaliações dos nossos clientes
Categories for Types - Paperback - 1994
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Cambridge University Press
- Dimensão
-
234 x 156 x 20
- Peso
-
520
- Tema
-
Mathematical logic|Algebra
- Origem
-
United Kingdom
- EAN
-
9780521457019
Publicidade
Publicidade