Categories, types, and structures: An introduction to category theory for computer scientists
保存先:
主要な著者: | Asperti, Andrea, Longo, Giuseppe |
---|---|
フォーマット: | 図書 |
言語: | English |
出版事項: |
2010
|
主題: | |
オンライン・アクセス: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911 |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
類似資料
-
Computational category theory
著者:: Rydeheard, D.E., 等
出版事項: (2009) -
Introduction to the Theory of Categories and Functors /
著者:: Bucus, Ion
出版事項: (1968) -
Theory of Categories /
著者:: Mitchell, Barry
出版事項: (1965) -
Theory of Modules (An Introduction to the Theory of Module Categories) /
著者:: Solian, Alexandru
出版事項: (1977) -
An Introduction to the Language of Category Theory. 1st ed. 2017
著者:: Roman, Steven
出版事項: (2020)