Homotopy Type Theory
higher inductive type (history)

October 10, 2018

September 6, 2018

September 5, 2018

September 4, 2018

June 25, 2018

May 15, 2014

March 17, 2014

March 4, 2014

February 18, 2014