[Homepage](https://www.cl.cam.ac.uk/~amp12/) [[nlab:Andrew Pitts]] category: people