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/
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
