Homotopy Type Theory
Categorical Homotopy Type Theory (history)

May 9, 2014

March 24, 2014