Nantilus
Categories, types, and structures : an introduction to category theory for the working computer scientist
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo |
| Publié : |
Cambridge, Mass. :
MIT Press
, cop. 1991 |
| Description matérielle : | 1 vol. (XI-306 p.) |
| Collection : | Foundations of computing |
| Accès en ligne : |
L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT press
|
| Sujets : |
Internet
L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT pressBib. CRDM (Mathématiques)
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bibliothèque | 18A43 | Prêt sans prolongation | Disponible |