TY  - RPRT
TI  - A Type-Theoretical Definition of Weak ω-Categories
AU  - Eric Finster
AU  - Samuel Mimram
PY  - 2017
UR  - https://arxiv.org/abs/1706.02866
ID  - 1706.02866
ER  -