TY  - RPRT
TI  - Globular weak $ω$-categories as models of a type theory
AU  - Thibaut Benjamin
AU  - Eric Finster
AU  - Samuel Mimram
PY  - 2024
UR  - https://arxiv.org/abs/2106.04475
ID  - 2106.04475
ER  -