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

Zapisane w:
Opis bibliograficzny
Główni autorzy: Asperti, Andrea, Longo, Giuseppe
Format: Książka
Język:English
Wydane: 2010
Hasła przedmiotowe:
Dostęp online:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt