Hillman University Professor of Computer Science, Mathematical Logic and Philosophy Emeritus, Carnegie Mellon University
Professor of Mathematical Logic, University of Oxford, 1972 - 1981
Hillman University Professor of Computer Science, Philosophy and Mathematical Logic, Carnegie Mellon University, Pittsburg, 1981 -
Semantic domains Handbook of the theoretical computer science: formal models and semantics 1990
Symbolic computation and teaching Artificial intelligence and symbolic mathematical computation, AISMC-3 1996
Type theory via exact categories Proceedings of the 13th annual IEEE symposium on Logic in Computer Science 1998
The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.