Type Theory Foundations, Lecture 1
Video Not Working? Fix It Now
Robert Harper - Type Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
For more info about the summer school please visit http://www.cs.uoregon.edu/research/summerschool/summer12/
Comment
![Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019](https://ytimg.googleusercontent.com/vi/8cXl2Tfhy_Q/mqdefault.jpg)
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://ytimg.googleusercontent.com/vi/LE0SSLizYUI/mqdefault.jpg)
![Gravitation' by Richard Feynman [1080p HD Video with clear audio]](https://ytimg.googleusercontent.com/vi/q_edsSpDzHg/mqdefault.jpg)
