Homotopy Type Theory
Denis-Charles Cisinski (history)

October 17, 2014