TY  - RPRT
TI  - Internal Languages of Finitely Complete $(\infty, 1)$-categories
AU  - Chris Kapulkin
AU  - Karol Szumiło
PY  - 2019
UR  - https://arxiv.org/abs/1709.09519
ID  - 1709.09519
ER  -