Professor of Theoretical Computer Science, Computer Laboratory, University of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).
Books Authored by Andrew M. Pitts
Lecture Notes on Semantics of Programming Languages
Post date: 12 Dec 2006Lecture Notes on Semantics of Programming Languages
Post date: 12 Dec 2006