Andrew M. Pitts

Andrew M. Pitts

Professor of Theoretical Computer Science, Computer LaboratoryUniversity of Cambridge. Interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two).

Back to all authors

Books Authored by Andrew M. Pitts

Lecture Notes on Semantics of Programming Languages

Post date: 12 Dec 2006
Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes
 
Lecture Notes on Semantics of Programming Languages

Lecture Notes on Semantics of Programming Languages

Post date: 12 Dec 2006
Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes


Book Categories
Sponsors