Categories, types, and structures an introduction to category theory for the working computer scientist

Detalles Bibliográficos
Autor principal: Asperti, Andrea (-)
Otros Autores: Longo, G. (Giuseppe)
Formato: Libro
Idioma:Inglés
Publicado: Cambridge (Massachusetts) [etc.] : MIT 1991.
Colección:Foundations of Computing
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004663339703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:XI, 306 p. ; 24 cm
Bibliografía:Bibliogr.: p. 289-299
ISBN:9780262011259