TY  - RPRT
TI  - A type theory for synthetic $\infty$-categories
AU  - Emily Riehl
AU  - Michael Shulman
PY  - 2023
UR  - https://arxiv.org/abs/1705.07442
ID  - 1705.07442
ER  -