Pitts, Andrew
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.

No queries for www.cl.cam.ac.uk/~amp12