Cambridge University Press · Springer
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings | 978-3-540-51662-0 | 2008 | Peter Dybjer · Axel Poigne · David E. Rydeheard · David H. Pitt | |
| Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings | 978-0-387-51662-2 | 1989 | D. H. Pitt · D. E. Rydeheard · P. Dybjer · A. Poigne | |
| Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings | 978-3-540-54495-1 | 2008 | Axel Poigne · David H. Pitt · David E. Rydeheard · Pierre-Louis Curien | |
| Higher Order Operational Techniques in Semantics | 978-0-521-63168-6 | 1998 | Andrew D. Gordon | |
| Nominal Sets: Names and Symmetry in Computer Science | 978-1-107-01778-8 | 2013 | ||
| Semantics and Logics of Computation | 978-0-521-58057-1 | 1997 | P. Dybjer | |
A.M. · A. M. Pitts · A. P. · Andrew M. · Andrew P. · Andrew Pitts · M P