TY  - RPRT
TI  - Quotients, inductive types, and quotient inductive types
AU  - Marcelo P. Fiore
AU  - Andrew M. Pitts
AU  - S. C. Steenkamp
PY  - 2022
DO  - 10.46298/lmcs-18(2:15)2022
UR  - https://arxiv.org/abs/2101.02994
ID  - 2101.02994
ER  -