TY  - RPRT
TI  - Interpreting type theory in a quasicategory: a Yoneda approach
AU  - El Mehdi Cherradi
PY  - 2025
UR  - https://arxiv.org/abs/2207.01967
ID  - 2207.01967
ER  -