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

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Asperti, Andrea, Longo, Giuseppe
Médium: Kniha
Jazyk:English
Vydáno: 2010
Témata:
On-line přístup:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt