Initial Algebras of Domains via Quotient Inductive-Inductive Types

Simcha van Collem, Niels van der Weide, Herman Geuvers

Domain theory has been developed as a mathematical theory of computation and to give a denotational semantics to programming languages. It helps us to fix the meaning of language c…