A.M. · A. P. · Andrew M. Pitts · M P
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 | 978-0-511-52590-2 (0-511-52590-7) | 2009 | M. P. Fourman · P. T. Johnstone |
| Applications of Categories in Computer Science - Proceedings of the London Mathematical Society Symposium, Durham 1991 | 978-0-521-42726-5 (0-521-42726-6) | 1992 | M. P. Fourman · P. T. Johnstone |