Pitts, Andrew

Pitts, Andrew
All Links

Share this:

Details of Pitts, Andrew

About Pitts, Andrew
Pitts, Andrew- University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.
K