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

Na minha lista:
Detalhes bibliográficos
Những tác giả chính: Asperti, Andrea, Longo, Giuseppe
Formato: Livro
Idioma:English
Publicado em: 2010
Assuntos:
Acesso em linha:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt