Andrew M Pitts

ACM Fellows

United Kingdom - 2012

citation

For contributions to the theory of programming language semantics.