17 citations · 20 across the 5 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…