TY  - RPRT
TI  - Polynomial Universes in Homotopy Type Theory
AU  - C. B. Aberlé
AU  - David I. Spivak
PY  - 2026
DO  - 10.46298/entics.16885
UR  - https://arxiv.org/abs/2409.19176
ID  - 2409.19176
ER  -