12 citations · 19 across the 9 of their papers we have counts for
1 paper · 2 filters
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…