Nantilus
Categories, types, and structures : an introduction to category theory for the working computer scientist
Saved in:
| Main Authors : | , |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo |
| Published : |
Cambridge, Mass. :
MIT Press
, cop. 1991 |
| Physical Description : | 1 vol. (XI-306 p.) |
| Series : | Foundations of computing |
| Online Access : |
L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT press
|
| Subjects : |
Internet
L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT pressBib. CRDM (Mathématiques)
| Location | Call Number | Loan type | Status |
|---|---|---|---|
| Bibliothèque | 18A43 | Prêt sans prolongation | Available |