Homotopy Type Theory
definitional equality (history)

May 21, 2014

May 9, 2014

March 6, 2014

March 4, 2014

March 3, 2014

March 2, 2014