TY  - RPRT
TI  - A Syntax for Strictly Associative and Unital $\infty$-Categories
AU  - Eric Finster
AU  - Alex Rice
AU  - Jamie Vicary
PY  - 2024
DO  - 10.1145/3661814.3662102
UR  - https://arxiv.org/abs/2302.05303
ID  - 2302.05303
ER  -