# Type theory

> ## Books

## Books

- [Intuitionistic Type Theory](https://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-retypeset-1984.pdf) by Per Martin-Löf
- [Proofs and types](https://www.paultaylor.eu/stable/prot.pdf)