31 citations · 74 across the 15 of their papers we have counts for
1 paper · 1 filter
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…