Categories, types, and structures: An introduction to category theory for computer scientists

Guardado en:
Detalles Bibliográficos
Autores principales: Asperti, Andrea, Longo, Giuseppe
Formato: Libro
Lenguaje:English
Publicado: 2010
Materias:
Acceso en línea:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt