@misc{indiciaea159fe9fdfc5,
  title = {Bounded First-Class Universe Levels in Dependent Type Theory},
  author = {Jonathan Chan and Stephanie Weirich},
  year = {2025},
  url = {https://arxiv.org/abs/2502.20485},
  note = {Source identifier: 2502.20485}
}