122 citations · 1k across the 26 of their papers we have counts for
1 paper · 2 filters
András Kovács
In type theories, universe hierarchies are commonly used to increase the expressive power of the theory while avoiding inconsistencies arising from size issues. There are numerous…