Homotopy Type Theory
Higher-Dimensional Types in the Mechanization of Homotopy Theory (history)

February 14, 2019