@article{aberle-2025-polynomial, title={Polynomial Universes in Homotopy Type Theory}, volume={5}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.16885}, DOI={10.46298/entics.16885}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Aberlé, C. B. and Spivak, David I.}, year={2025}, month=Dec }