Thibaut Benjamin

Globular weak $\omega$-categories as models of a type theory

Samuel Mimram, Eric Finster, Thibaut Benjamin, 2021 .

Monoidal weak omega-categories as models of a type theory

Thibaut Benjamin, 2021 .

Formalization of dependent type theory: The example of CaTT pdf

Thibaut Benjamin, 2021, ArXiv.