Globular weak $\omega$-categories as models of a type theory
From MaRDI portal
Publication:6504535
zbMatharXiv:2106.04475MaRDI QIDQ6504535
Eric Finster, Unnamed Author, Samuel Mimram
Publication date: 1 January 1
This page was built for publication: Globular weak $\omega$-categories as models of a type theory
