Pitts, Andrew

Pitts, Andrew
All Links

Share this:

Details of Pitts, Andrew

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