TY  - RPRT
TI  - A General Construction of Strict Models in HoTT
AU  - Niyousha Najmaei
AU  - Niels van der Weide
PY  - 2026
UR  - https://arxiv.org/abs/2610.28370
ID  - 2610.28370
ER  -