Author: Mimram, Samuel
- : Globular weak $\omega$-categories as models of a type theory. (English). Higher Structures, vol. 8 (2024), issue 2, pp. 1-69
- : Type theoretical approaches to opetopes. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 80-181
Search
Partner of
