TY  - RPRT
TI  - Initial Algebras of Domains via Quotient Inductive-Inductive Types
AU  - Simcha van Collem
AU  - Niels van der Weide
AU  - Herman Geuvers
PY  - 2026
DO  - 10.46298/entics.16512
UR  - https://arxiv.org/abs/2509.10187
ID  - 2509.10187
ER  -