Initial Algebras of Domains via Quotient Inductive-Inductive Types. - Simcha van Collem; Niels van der Weide; Herman Geuvers (CoRR, 2025)