Computational category theory / David E. Rydeheard, Rod M. Burstall

Auteur principal : Rydeheard, David E., 1954-, AuteurCo-auteur : Burstall, Rod M., 1934-, AuteurType de document : MonographieCollection : Prentice-Hall international series in computer scienceLangue : anglais.Pays: Etats Unis.Éditeur : New York : Prentice-Hall, 1988Description : 257 p. ; 24 cmISBN: 9780131627369.Bibliographie : Bibliography: p. 237-252.Sujet MSC : 18-04, Software, source code, etc. for problems pertaining to category theory
18Axx, Category theory; homological algebra - General theory of categories and functors
68Q65, Computer science - Theory of computing, Abstract data types; algebraic specification
18A30, General theory of categories and functors, Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18A25, General theory of categories and functors, Functor categories, comma categories
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R
18 RYD (Browse shelf(Opens below)) Available 10256-01

Bibliography: p. 237-252

There are no comments on this title.

to post a comment.