@misc{indiciae9395fc72f632,
  title = {Computads for weak \$ω\$-categories as an inductive type},
  author = {Christopher J. Dean and Eric Finster and Ioannis Markakis and David Reutter and Jamie Vicary},
  year = {2024},
  doi = {10.1016/j.aim.2024.109739},
  url = {https://arxiv.org/abs/2208.08719},
  note = {Source identifier: 2208.08719}
}