@misc{indiciae10570b63144e,
  title = {Globular weak \$ω\$-categories as models of a type theory},
  author = {Thibaut Benjamin and Eric Finster and Samuel Mimram},
  year = {2024},
  url = {https://arxiv.org/abs/2106.04475},
  note = {Source identifier: 2106.04475}
}