Homotopy Type Theory
higher inductive type (history)

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