#1264 overall
Homotopy Type Theory
Carnegie Mellon University
1 recommender · 1 thread · recommended in 1 year, 2013 · score 0.7
A graduate-level course by Robert Harper at Carnegie Mellon University on homotopy type theory, a foundational approach to mathematics that treats types as spaces and connects type theory with homotopy theory.
One commenter was pointed to it by a member of the ##hott IRC channel as a place to learn the subject.
Recommendations by year
20062026
I asked this question in ##hott on freenode last week, and someone recommended http://www.cs.cmu.edu/~rwh/courses/hott/