Articles liés à Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists - Couverture souple

Pierce, Benjamin C.

 
9780262660716: Basic Category Theory for Computer Scientists
Couverture souple
ISBN 10 : 0262660717 ISBN 13 : 9780262660716
Editeur : The MIT Press, 1991

Synopsis

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts.

Contents
Tutorial • Applications • Further Reading

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
The MIT Press
Date d'édition
1991
Langue
anglais
ISBN 10 
0262660717
ISBN 13 
9780262660716
Reliure
Broché
Nombre de pages
116
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Allemagne