@article{fiore-2022-quotients, title={Quotients, inductive types, and quotient inductive types}, volume={18}, ISSN={1860-5974}, url={http://dx.doi.org/10.46298/lmcs-18(2:15)2022}, DOI={10.46298/lmcs-18(2:15)2022}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Fiore, Marcelo P. and Pitts, Andrew M. and Steenkamp, S. C.}, year={2022}, month=June, number = {2}, pages = {15:1--15:37} }