3 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
Jonathan Chan, Stephanie Weirich
A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent func…