- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 22 comments programming
- The Homotopy Type Theory Book is now available! http://homotopytypetheory.org/book/ 34 comments math
- The Homotopy Type Theory Book is now available for free online and in print at Lulu.com http://homotopytypetheory.org/book/ 17 comments haskell
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- Homotopy Type Theory and Higher Inductive Types | Science4All http://www.science4all.org/article/homotopy-type-theory/ 31 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- Episode 3: Dan Licata on Homotopy Type Theory | The Type Theory Podcast http://typetheorypodcast.com/2015/01/episode-3-dan-licata-on-homotopy-type-theory/ 14 comments
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/le-nguyen-hoang/type-theory/ 5 comments
- The StahlDream https://remexre.com/stahl/dream 5 comments
- GitHub - andrejbauer/homotopy-type-theory-course: A course on homotopy theory and type theory, taught jointly with Jaka Smrekar https://github.com/andrejbauer/homotopy-type-theory-course 4 comments
- GitHub - prathyvsh/category-theory-resources: Resources for learning Category Theory for an enthusiast https://github.com/prathyvsh/category-theory-resources 3 comments
- free-programming-books/free-programming-books-subjects.md at main · EbookFoundation/free-programming-books · GitHub https://github.com/EbookFoundation/free-programming-books/blob/main/books/free-programming-books-subjects.md 3 comments
- index - 1Lab https://cubical.1lab.dev 2 comments
- Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal | SIGPLAN Blog https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/ 1 comment
- The Lupi Program https://rlupi.com/the-lupi-program 1 comment
- Equality, roughly speaking : ezyang’s blog http://blog.ezyang.com/2014/01/equality-roughly-speaking/ 0 comments
- index - 1Lab https://1lab.dev/ 0 comments
- Modeling tower of hanoi in linear logic http://boxbase.org/entries/2019/jun/17/hanoi/ 0 comments
- Poleiro, the Coq blog - Equality in Coq http://poleiro.info/posts/2018-01-26-equality-in-coq.html 0 comments
- Princeton Academics Form GitHub Book Club | WIRED http://www.wired.com/wiredenterprise/2013/06/cades-witty-headline-here/ 0 comments
- Vladimir Voevodsky 1966–2017 - Press Release | Institute for Advanced Study https://www.ias.edu/news/2017/vladimir-voevodsky-obituary 0 comments
- Type Theory: A Modern Computable Paradigm for Math | Science4All http://www.science4all.org/article/type-theory/ 0 comments
- The ladder of abstraction https://www.gleech.org/ladder 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:homotopytypetheory.org
Search title: The HoTT Book | Homotopy Type Theory
See how to search.