TY  - RPRT
TI  - Internal languages of locally cartesian closed $(\infty,1)$-categories
AU  - El Mehdi Cherradi
PY  - 2026
UR  - https://arxiv.org/abs/2509.03371
ID  - 2509.03371
ER  -