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 : |
| Notes : | L'ouvrage, épuisé, est disponible en ligne sur le site de l'auteur, avec l'autorisation de MIT press |
|---|---|
| Bibliographie : | Notes bibliogr. (p. [289]-299). Index |
| ISBN : | 0-262-01125-5 |