1. Home
  2. Computer
  3. Computer Science
  4. Pitts, Andrew

Computer · Computer Science

Pitts, Andrew

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

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.

Tags

K

Where it sits

Computer Computer Science

More in Computer Science

See all →