Categories, types, and structures: An introduction to category theory for computer scientists
Đã lưu trong:
Những tác giả chính: | Asperti, Andrea, Longo, Giuseppe |
---|---|
Formáid: | Leabhar |
Teanga: | English |
Foilsithe: |
2010
|
Ábhair: | |
Rochtain Ar Líne: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911 |
Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Míreanna Comhchosúla
-
Computational category theory
le: Rydeheard, D.E., et al.
Foilsithe: (2009) -
Introduction to the Theory of Categories and Functors /
le: Bucus, Ion
Foilsithe: (1968) -
Theory of Categories /
le: Mitchell, Barry
Foilsithe: (1965) -
Theory of Modules (An Introduction to the Theory of Module Categories) /
le: Solian, Alexandru
Foilsithe: (1977) -
An Introduction to the Language of Category Theory. 1st ed. 2017
le: Roman, Steven
Foilsithe: (2020)