@misc{indiciae0cdbd3559ea5,
  title = {Monoidal weak omega-categories as models of a type theory},
  author = {Thibaut Benjamin},
  year = {2021},
  doi = {10.1017/s0960129522000172},
  url = {https://arxiv.org/abs/2111.14208},
  note = {Source identifier: 2111.14208}
}