C.M. · J.C. · J.M. · J. Mitchell · John C. · John Cameron Mitchell · John M. · John Mitchell
Cambridge University Press · Springer · Springer, Berlin · The MIT Press
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Concepts in Programming Languages | 978-0-521-78098-8 | 2002 | ||
| Exploring New Frontiers of Theoretical Informatics | 978-1-4020-8140-8 | 2004 | Jean-Jacques Levy · Ernst W. Mayr | |
| Foundations for Programming Languages | 978-0-262-13321-0 | 1996 | ||
| Theoretical Aspects of Computer Software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 - Proceedings | 978-3-540-57887-1 | 1994 | Masami Hagiya | |
| Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design | 978-0-262-07155-0 | 1994 | Carl A. Gunter | |