opetopic type theory
Eric Finster, Towards Higher Universal Algebra in Type Theory
Last revised on February 26, 2019 at 06:18:40. See the history of this page for a list of all contributions to it.