Homotopy Type Theory Eric Finster, Towards Higher Universal Algebra in Type Theory > history (history)

June 16, 2022

June 9, 2022

March 16, 2019

February 16, 2019

January 10, 2019

December 25, 2018

December 24, 2018

December 10, 2018

December 7, 2018

December 6, 2018