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

Shranjeno v:
Bibliografske podrobnosti
Những tác giả chính: Asperti, Andrea, Longo, Giuseppe
Format: Knjiga
Jezik:English
Izdano: 2010
Teme:
Online dostop:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt