| 000 | 00907nam a2200265 a 4500 | ||
|---|---|---|---|
| 008 | |||
| 020 | _a0262011255 (cased) | ||
| 049 | _aMAIN | ||
| 090 | _aQA169 | ||
| 100 | 1 | _aAsperti, Andrea. | |
| 245 | 1 | 0 |
_aCategories, types, and structures : _ban introduction to category theory for the working computer scientist / _cAndrea Asperti, Giuseppe Longo. |
| 260 |
_aCambridge, Mass. : _bMIT Press, _cc1991. |
||
| 300 |
_axi, 306 p. ; _c24 cm. |
||
| 440 | 0 | _aFoundations of computing series. | |
| 504 | _aIncludes bibliographical references : p 289-299. | ||
| 500 | _aIncludes index. | ||
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aCategories (Mathematics). | |
| 700 | 1 |
_aLongo, G. _q(Giuseppe) |
|
| 907 |
_a.b10045673 _b03-05-04 _c17-04-03 |
||
| 003 | |||
| 005 | 20230123133216.0 | ||
| 040 | _cNUST | ||
| 942 |
_cBOOKS _kQA169 |
||
| 999 |
_c144623 _d144623 |
||