Homotopy Type Theory Categorical Homotopy Type Theory > history (history)

June 15, 2022

May 9, 2014

March 24, 2014