Similar Items: Observationally-induced algebras in Domain Theory
- Algebraic Language Theory for Eilenberg--Moore Algebras
- Formal Theories for Linear Algebra
- Domain Representations Induced by Dyadic Subbases
- Bistable Biorders: A Sequential Domain Theory
- A proof of strong normalisation using domain theory
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories