Homotopy Type Theory
Grothendieck (infinity,1)-topos (history)

October 22, 2014