@article{vancollem-2025-initial, title={Initial Algebras of Domains via Quotient Inductive-Inductive Types}, volume={Volume 5 - Proceedings of...}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.16512}, DOI={10.46298/entics.16512}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={van Collem, Simcha and van der Weide, Niels and Geuvers, Herman}, year={2025}, month=Dec }