Steve Awodey’s lectures from the Oregon Programming Languages School 2012, University of Oregon.
I first saw this in a tweet by Jim Duey.
More cold weather is coming and the football (U.S.) is over. 😉
Taught along with Proof Theory Foundations and Type Theory Foundations.
[…] along with Category Theory Foundations and Type Theory […]
Pingback by Proof Theory Foundations « Another Word For It — February 5, 2014 @ 1:02 pm
[…] Word For It Patrick Durusau on Topic Maps and Semantic Diversity « Category Theory Foundations Proof Theory Foundations […]
Pingback by Type Theory Foundations « Another Word For It — February 5, 2014 @ 1:04 pm