TY  - RPRT
TI  - Non-Standard Models of Homotopy Type Theory
AU  - Nima Rasekh
PY  - 2025
UR  - https://arxiv.org/abs/2508.07736
ID  - 2508.07736
ER  -