Computational Category Theory
Overview & Synopsis
This book is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. It it proceeds from algorithm to algorithm until all of elementary category theory is laid out in precise computational form.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Computational Category Theory |
|---|---|
| Author / Organization | David E. Rydeheard, R.M. Burstall |
| Subject & Discipline | Category Theory, Functional Programming and Lambda, Theory of Programming Languages, Functional Programming, Compiler Construction |
| Categories | Category Theory |
| Resource Verification | Verification pending |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-70509 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |