-
Recent Posts
Archives
Categories
March 2014 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Meta
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