diff --git a/README.md b/README.md
index d85318c..16bfbfa 100644
--- a/README.md
+++ b/README.md
@@ -178,6 +178,7 @@ A curated list of awesome mathematics resources.
 ### Type Theory
 * [Proofs and Types](http://www.paultaylor.eu/stable/prot.pdf) - Jean-Yves Girard
 * [Intuitionistic Type Theory](https://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-retypeset-1984.pdf) - Per Martin-Lof
+* [Type Theory and Functional Programming](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/) - Simon Thompson
 
 ### Homotopy Type Theory