Introduction to Type Theory Foundations Lecture 1
If you are looking for information about Type Theory Foundations Lecture 1, you have come to the right place. Robert Harper -
Type Theory Foundations Lecture 1 Comprehensive Overview
http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html. Next: http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
Hanneli Tavante, Codeminer 42.
Summary & Highlights for Type Theory Foundations Lecture 1
- Frank Pfenning - Proof
- Steve Awodey - Category
- Homotopy
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html.
- Robert Harper -
We hope this detailed breakdown of Type Theory Foundations Lecture 1 was helpful.
