Another Word For It Patrick Durusau on Topic Maps and Semantic Diversity

February 5, 2014

Category Theory Foundations

Filed under: Category Theory,CS Lectures — Patrick Durusau @ 11:46 am

Steve Awodey’s lectures from the Oregon Programming Languages School 2012, University of Oregon.

Homework assignments

Lecture 1

Lecture 2

Lecture 3

Lecture 4

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.

2 Comments

  1. […] along with Category Theory Foundations and Type Theory […]

    Pingback by Proof Theory Foundations « Another Word For It — February 5, 2014 @ 1:02 pm

  2. […] 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

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress