| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings | 978-0-387-51662-2 (0-387-51662-X) | 1989 | D. E. Rydeheard · P. Dybjer · Andrew M. Pitts · A. Poigne |
| Category Theory and Computer Science: Paris, France, September 3-6, 1991 Proceedings | 978-0-387-54495-3 (0-387-54495-X) | 1991 | P. L. Curien |
D,. H.. · D. P. · D. Pitt · David H. Pitt · H. P.