Understanding Type Theory Foundations Lecture 2
Exploring Type Theory Foundations Lecture 2 reveals several interesting facts. Robert Harper -
Key Takeaways about Type Theory Foundations Lecture 2
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- Talk by Kobe Wullaert (TU Delft), at the Antwerp Algebra Colloquium on March 11, 2022. In 1874, (naive/Cantorian) set
- From my 2021
Detailed Analysis of Type Theory Foundations Lecture 2
http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html. Next: http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
Frank Pfenning - Proof
Stay tuned for more updates related to Type Theory Foundations Lecture 2.