Generalized Universe Hierarchies and First-Class Universe Levels.

Andrs Kovcs

Browse the full CSL paper archive.