Cambridge University Press · Springer
| 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. H. Pitt · D. E. Rydeheard · Andrew M. Pitts · A. Poigne |
| Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf | 978-94-007-4434-9 (94-007-4434-X) | 2012 | Sten Lindström · Erik Palmgren · B.G. Sundholm |
| Semantics and Logics of Computation | 978-0-521-58057-1 (0-521-58057-9) | 1997 | Andrew M. Pitts |