https://github.com/jozefg/learn-tt
https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html
http://purelytheoretical.com/sywtltt.html
Some useful materials on #TypeTheory #ProofTheory and #CategoryTheory
https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html
http://purelytheoretical.com/sywtltt.html
Some useful materials on #TypeTheory #ProofTheory and #CategoryTheory
GitHub
GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields.
A collection of resources for learning type theory and type theory adjacent fields. - jozefg/learn-tt