TY  - RPRT
TI  - Constructing Infinitary Quotient-Inductive Types
AU  - Marcelo Fiore
AU  - Andrew M. Pitts
AU  - S. C. Steenkamp
PY  - 2020
DO  - 10.1007/978-3-030-45231-5_14
UR  - https://arxiv.org/abs/1911.06899
ID  - 1911.06899
ER  -