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

March 16, 2019

February 16, 2019

January 10, 2019

December 25, 2018

December 24, 2018

December 10, 2018

December 7, 2018

December 6, 2018