@inbook{altenkirch_etal_2018, title={Quotient Inductive-Inductive Types}, ISBN={9783319893662}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-319-89366-2_16}, DOI={10.1007/978-3-319-89366-2_16}, booktitle={Foundations of Software Science and Computation Structures}, publisher={Springer International Publishing}, author={Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik}, year={2018}, pages={293–310} }