From 527fe80ee2ea45d328b2f2184ea098e55230d157 Mon Sep 17 00:00:00 2001 From: Muhamad Novan Aulia Zam Zami Date: Mon, 14 Oct 2019 23:57:14 +0700 Subject: [PATCH] Add Intuitionistic Type Theory book --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 8ee37fb..d85318c 100644 --- a/README.md +++ b/README.md @@ -177,6 +177,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 ### Homotopy Type Theory