@misc{chan-2025-bounded,
  author = {Jonathan Chan and Stephanie Weirich},
  title = {Bounded First-Class Universe Levels in Dependent Type Theory},
  year = {2025},
  month = {2},
  eprint = {2502.20485},
  archiveprefix = {arXiv}
}