Introduction to Type Theory Foundations Lecture 4
Let's dive into the details surrounding Type Theory Foundations Lecture 4. Robert Harper -
Type Theory Foundations Lecture 4 Comprehensive Overview
http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html. http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html. Steve Awodey - Category
Robert Harper -
Summary & Highlights for Type Theory Foundations Lecture 4
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- Robert Harper -
- Frank Pfenning - Proof
- Robert Harper -
That wraps up our extensive overview of Type Theory Foundations Lecture 4.