@misc{indiciaea94f60de79f2,
  title = {Initial Algebras of Domains via Quotient Inductive-Inductive Types},
  author = {Simcha van Collem and Niels van der Weide and Herman Geuvers},
  year = {2026},
  doi = {10.46298/entics.16512},
  url = {https://arxiv.org/abs/2509.10187},
  note = {Source identifier: 2509.10187}
}