van Collem–van der Weide–Geuvers (2025): Initial Algebras of Domains via Quotient Inductive-Inductive Types by Simcha van Collem, Niels van der Weide, and Herman Geuvers.
van Collem–van der Weide–Geuvers (2025): Initial Algebras of Domains via Quotient Inductive-Inductive Types by Simcha van Collem, Niels van der Weide, and Herman Geuvers.