20 citations · 33 across the 3 of their papers we have counts for
1 paper · 1 filter
András Kovács, Ambrus Kaposi
Quotient inductive-inductive types (QIITs) are generalized inductive types which allow sorts to be indexed over previously declared sorts, and allow usage of equality constructors.…