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

< Towards Higher Universal Algebra in Type Theory