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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: Asperti, Andrea, Longo, Giuseppe
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: 2010
Pynciau:
Mynediad Ar-lein:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt