chan-2025-bounded:
  type: misc
  title: Bounded First-Class Universe Levels in Dependent Type Theory
  author:
  - Chan, Jonathan
  - Weirich, Stephanie
  date: 2025-02
  serial-number:
    arxiv: '2502.20485'