| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings | Taschenbuch | 978-3-540-17162-1 | 2008 | David Rydeheard · David Pitt · Samson Abramsky |
| Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings | Paperback | 978-3-662-19712-7 | 2014 | David H. Pitt · David E. Rydeheard |
| Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings | Taschenbuch | 978-3-540-18508-6 | 2008 | David E. Rydeheard · David H. Pitt |
| Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings | " | 978-3-540-51662-0 | 2008 | Peter Dybjer · Andrew M. Pitts · David E. Rydeheard · David H. Pitt |
| Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings | " | 978-3-540-54495-1 | 2008 | Andrew M. Pitts · David H. Pitt · David E. Rydeheard · Pierre-Louis Curien |