Professor Andrew M Pitts

Digital Library

ACM Fellows

United Kingdom - 2012

citation

For contributions to the theory of programming language semantics.