From 61e250a4d5654a1d6c837cd3be28c30dbe1652c3 Mon Sep 17 00:00:00 2001 From: Muhamad Novan Aulia Zam Zami Date: Mon, 14 Oct 2019 15:14:47 +0700 Subject: [PATCH] Add Proofs and Types book --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 3cafc13..8ee37fb 100644 --- a/README.md +++ b/README.md @@ -22,6 +22,7 @@ A curated list of awesome mathematics resources. * [Set Theory](#set-theory) * [Logic](#logic) * [Category Theory](#category-theory) + * [Type Theory](#type-theory) * [Homotopy Type Theory](#homotopy-type-theory) * [Surreal Numbers](#surreal-numbers) * [Number Theory](#number-theory) @@ -174,6 +175,9 @@ A curated list of awesome mathematics resources. * [Abstract and Concrete Categories: The Joy of Cats](http://www.tac.mta.ca/tac/reprints/articles/17/tr17abs.html) - Jiri Adamek, Horst Herrlich, George Strecker * [Seven Sketches in Compositionality: An Invitation to Applied Category Theory](http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf) - Brendan Fong and David I. Spivak (MIT) +### Type Theory +* [Proofs and Types](http://www.paultaylor.eu/stable/prot.pdf) - Jean-Yves Girard + ### Homotopy Type Theory * [Homotopy Type Theory](https://hottheory.files.wordpress.com/2013/03/hott-online-611-ga1a258c.pdf)