Basic Category Theory for Computer Scientists / Pierce, Benjamin C.

Public ISBD Titre : Basic Category Theory for Computer Scientists Type de document : texte imprimé Auteurs : Pierce, Benjamin C. Editeur : Cambridge, MA : The Mit Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : xiv - 100 p. ISBN/ISSN/EAN : 978-0-262-66071-6 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B20 Categories of machines, automata, operative categories Mots-clés : category theory  categories of automata Index. décimale : 18A Basic Category Theory for Computer Scientists [texte imprimé] / Pierce, Benjamin C. . - Cambridge, MA : The Mit Press, 1991 . - xiv - 100 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-66071-6 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B20 Categories of machines, automata, operative categories Mots-clés : category theory  categories of automata Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13854	18A47	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Types and Programming Languages / Pierce, Benjamin C.

Public ISBD Titre : Types and Programming Languages : a comprehensive introduction to type systems and programming languages Type de document : texte imprimé Auteurs : Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique Editeur : Cambridge, MA : MIT Press Année de publication : 2002 Collection : Advances in Genetic Programming num. 02 Importance : 645 p. ISBN/ISSN/EAN : 978-0-262-16209-8 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming  intelligent systems  computer science Index. décimale : 68C Monographie Types and Programming Languages : a comprehensive introduction to type systems and programming languages [texte imprimé] / Pierce, Benjamin C. ; Kenneth E. Kinnear ; Peter J. Angeline, Editeur scientifique . - Cambridge, MA : MIT Press, 2002 . - 645 p.. - (Advances in Genetic Programming; 02) . ISBN : 978-0-262-16209-8 Langues : Anglais Catégories : 68-XX Computer science :68QXX Theory of computing Mots-clés : programming  intelligent systems  computer science Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13800	68C73	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1