Large and Infinitary Quotient Inductive-Inductive Types.

Andrs Kovcs, Ambrus Kaposi

Browse the full LICS paper archive.