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
- Frank Pfenning - Proof
- Steve Awodey - Category
- 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.
Detailed Analysis of Type Theory Foundations Lecture 2
Next: http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html. http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
Robert Harper -
Stay tuned for more updates related to Type Theory Foundations Lecture 2.
