| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Categories Types and Structures | 978-0-262-12145-3 | 1992 | Giuseppe Longo | |
| Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist | 978-0-262-01125-9 | 1991 | " | |
| Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 | 978-3-540-00568-1 | 2008 | Bruno Buchberger · James Harold Davenport | |
| Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings | 978-3-540-23029-8 | 2008 | Grzegorz Bancerek · Andrzej Trybulec | |
| The Optimal Implementation of Functional Programming Languages | 978-0-521-62112-0 | 1998 | Stefano Guerrini |
A.A. · Anders Axvärn · Anders Axvarn · André Aspiran · Andrea Aspri · Andreas Aschberg · Andreas Asperl · Andrew Azzopardi
Cambridge University Press · Springer · The MIT Press