Categories, types and structures : an introduction to category theory for the working computer scientist /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
The MIT Press,
1991.
|
| Series: | Foundations of computing.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01021nam a2200277 4500 | ||
|---|---|---|---|
| 001 | vtls000137956 | ||
| 003 | UPM | ||
| 005 | 20161024055012.0 | ||
| 008 | 920421s1991 maua 00 eng | ||
| 020 | |a 026212145X | ||
| 035 | |a 026212145X | ||
| 039 | 9 | |a 200804160435 |b VLOAD |y 200110271138 |z load | |
| 040 | |c UPM | ||
| 090 | 0 | 0 | |a QA76.7 A839 |
| 100 | 1 | |a Asperti, Andrea. | |
| 245 | 1 | 0 | |a Categories, types and structures : |b an introduction to category theory for the working computer scientist / |c Andrea Asperti, Giuseppe Longo. |
| 260 | |a Cambridge, Mass. : |b The MIT Press, |c 1991. | ||
| 300 | |a 306p. : |b ill. ; |c 24cm. | ||
| 440 | 0 | |a Foundations of computing. | |
| 504 | |a Bibliography: p. 289-299. | ||
| 650 | 0 | |a Programming languages (Electronic computers). | |
| 650 | 0 | |a Categories (Mathematics). | |
| 700 | 1 | |a Longo, G. |q (Giuseppe). | |
| 942 | |2 lcc |c 10000 | ||
| 999 | |c 532687 |d 532687 | ||
| 952 | |0 0 |1 0 |4 0 |6 QA00767 A839 |7 0 |9 757660 |a 10000 |b 10000 |c 10000 |d 2016-10-24 |o QA76.7 A839 |p 1000240165 |r 2016-10-24 |t 1 |w 2016-10-24 |y 10000 | ||