Monthly Archives: March 2014

A course on Homotopy Type Theory

Here’s a link to a course on Homotopy Type Theory taught by Robert Harper at Carnegie Mellon. The first few lectures introduce different views of logic and compution and their relationships. Highly recommended.

Posted in Mathematics, TCS, Uncategorized | Leave a comment