Homotopy Type Theory
Homotopy Type System (history)

October 13, 2014

October 8, 2014

August 29, 2014

May 14, 2014

May 9, 2014

May 4, 2014

May 3, 2014

March 11, 2014

March 6, 2014