From 036e1b7da785c0de7983bf8d91010271abb56932 Mon Sep 17 00:00:00 2001 From: Muhamad Novan Aulia Zam Zami Date: Tue, 15 Oct 2019 08:59:04 +0700 Subject: [PATCH] Add Type Theory and Functional Programming book --- README.md | 1 + 1 file changed, 1 insertion(+) 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