Computational category theory / [by] David E.Rydeheard, Rod M.Burstall
By: RYDEHEARD, David E.
Contributor(s): Burstall, Rod M [Author]
.
Publisher: New York Prentice Hall 1988Description: xiv, 257 p.ISBN: 131627368.Subject(s): Computer programming | Categories( mathematics)DDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library Science & Technology | 511.3 RYD (Browse shelf) | Available | 121120 |
Browsing Main Library Shelves , Shelving location: Science & Technology Close shelf browser
|
No cover image available | No cover image available | No cover image available | No cover image available |
|
No cover image available | ||
| 511.3 MOR The theory of computation | 511.3 MOR A theory of sets | 511.3 RAS Introduction to modern mathematics | 511.3 RYD Computational category theory | 511.3 SIG Exercises in set theory | 511.3 SMI An introduction to godel's theorems / | 511.3 STO Sets, logic and axiomatic theories |
Includes references, bibliography and index.
There are no comments for this item.