Pitts, Andrew
cl.cam.ac.ukUniversity 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.