B. C · Benjamin Pierce · C.P. · C. Pierce
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Advanced Topics in Types and Programming Languages | Hardcover | 978-0-262-16228-9 | 2004 | ||
| Basic Category Theory for Computer Scientists | Printed Access Code | 978-0-262-28846-0 | 1991 | ||
| Basic Category Theory for Computer Scientists | Paperback | 978-0-262-66071-6 | 1991 | ||
| Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings | Taschenbuch | 978-3-540-42736-0 | 2008 | Naoki Kobayashi | |
| Types and Programming Languages | Hardcover | 978-0-262-16209-8 | 2002 | ||
| Types and Programming Languages | Printed Access Code | 978-0-262-25681-0 | 2002 | ||