Homotopy Type Theory
univalence axiom (history)

October 11, 2018

May 3, 2014

March 6, 2014

March 4, 2014

March 3, 2014

February 19, 2014

February 18, 2014