Homotopy Type Theory higher inductive type > history (history)

June 9, 2022

June 6, 2022

February 13, 2022

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