12 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
Amin Timany, Matthieu Sozeau
In order to avoid well-know paradoxes associated with self-referential definitions, higher-order dependent type theories stratify the theory using a countably infinite hierarchy of…