Categories, types, and structures : an introduction to category theory for the working computer scientist /

Enregistré dans:

Détails bibliographiques
Auteurs principaux :	Asperti, Andréa (1961-....) (Auteur), Longo, Giuseppe (1947-....; chercheur émérite) (Auteur)
Format :	Livre
Langue :	anglais
Publié :	Cambridge (Mass.) : MIT Press. copyright 1991
Collection :	Foundations of computing
Sujets :	Langages de programmation. Catégories (mathématiques). Programming languages (Electronic computers). Categories (Mathematics).

Bib. CRDM (Mathématiques) / Bibliothèque

Informations d'exemplaires de Bibliothèque
Cote:	18A43
Exemplaire 1	Disponible Notes: Prêt sous conditions