@article{danielsson-2026-normalisation, title={Normalisation for First-Class Universe Levels}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3776645}, DOI={10.1145/3776645}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Danielsson, Nils Anders and Favier, Naïm Camille and Kubánek, Ondřej}, year={2026}, month=Jan, pages={64–88} }