• DML-CZ Home

Author: Benjamin, Thibaut

• Benjamin, Thibaut; Finster, Eric; Mimram, Samuel: Globular weak $\omega$-categories as models of a type theory. (English). Higher Structures, vol. 8 (2024), issue 2, pp. 1-69