Quotient inductive-inductive types. - Thorsten Altenkirch; Paolo Capriotti; Gabe Dijkstra; Fredrik Nordvall Forsberg (CoRR, 2016)

Quotient inductive-inductive definitions. - Gabe Dijkstra (2017)

Quotient Inductive-Inductive Types. - Thorsten Altenkirch; Paolo Capriotti; Gabe Dijkstra; Nicolai Kraus; Fredrik Nordvall Forsberg (FoSSaCS, 2018)