Citazione Stile APA (7a Edizione)

Chan, J., & Weirich, S. (2025). Bounded First-Class Universe Levels in Dependent Type Theory.

Citazione stile Chigago Style (17a edizione)

Chan, Jonathan, e Stephanie Weirich. Bounded First-Class Universe Levels in Dependent Type Theory. 2025.

Citatione MLA (9a ed.)

Chan, Jonathan, e Stephanie Weirich. Bounded First-Class Universe Levels in Dependent Type Theory. 2025.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.