Homotopy Type Theory
proof theoretic strength of univalent type theory plus HITs (history)

January 15, 2015

January 12, 2015