TY  - RPRT
TI  - Computads for weak $ω$-categories as an inductive type
AU  - Christopher J. Dean
AU  - Eric Finster
AU  - Ioannis Markakis
AU  - David Reutter
AU  - Jamie Vicary
PY  - 2024
DO  - 10.1016/j.aim.2024.109739
UR  - https://arxiv.org/abs/2208.08719
ID  - 2208.08719
ER  -