(D-R) · David E. Rydeheard · E -R
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995: Proceedings | 978-0-387-60164-9 (0-387-60164-3) | 1995 | David Pitt |
| Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings | 978-0-387-51662-2 (0-387-51662-X) | 1989 | D. H. Pitt · P. Dybjer · Andrew M. Pitts · A. Poigne |
| Computational Category Theory | 978-0-13-162736-9 (0-13-162736-8) | 1988 | Burstall |