TY  - RPRT
TI  - Large and Infinitary Quotient Inductive-Inductive Types
AU  - András Kovács
AU  - Ambrus Kaposi
PY  - 2020
DO  - 10.1145/3373718.3394770
UR  - https://arxiv.org/abs/2006.11736
ID  - 2006.11736
ER  -