Hacker News
- Homotopy Type Theory and Higher Inductive Types http://www.science4all.org/article/homotopy-type-theory/ 31 comments
Linked pages
- Press Release: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics - News - Carnegie Mellon University http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html 87 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments
Related searches:
Search whole site: site:www.science4all.org
Search title: Homotopy Type Theory and Higher Inductive Types | Science4All
See how to search.