Monthly Archives: March 2014

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.