Categories, types, and structures: An introduction to category theory for computer scientists
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
2010
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-1911 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-19112012-03-03T05:00:25Z Categories, types, and structures: An introduction to category theory for computer scientists Asperti, Andrea Longo, Giuseppe Toán học 2010-01-13T09:41:23Z 2010-01-13T09:41:23Z 1988 Book https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911 en application/pdf |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Toán học |
| spellingShingle |
Toán học Asperti, Andrea Longo, Giuseppe Categories, types, and structures: An introduction to category theory for computer scientists |
| format |
Book |
| author |
Asperti, Andrea Longo, Giuseppe |
| author_facet |
Asperti, Andrea Longo, Giuseppe |
| author_sort |
Asperti, Andrea |
| title |
Categories, types, and structures: An introduction to category theory for computer scientists |
| title_short |
Categories, types, and structures: An introduction to category theory for computer scientists |
| title_full |
Categories, types, and structures: An introduction to category theory for computer scientists |
| title_fullStr |
Categories, types, and structures: An introduction to category theory for computer scientists |
| title_full_unstemmed |
Categories, types, and structures: An introduction to category theory for computer scientists |
| title_sort |
categories, types, and structures: an introduction to category theory for computer scientists |
| publishDate |
2010 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911 |
| _version_ |
1819768327358119936 |