Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

DOI10.1016/j.entcs.2011.09.017zbMath1342.68069OpenAlexW2074102448WikidataQ113318230 ScholiaQ113318230MaRDI QIDQ5739353

Ingo Battenfeld, Matthias Schröder

Publication date: 15 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.017

zbMATH Keywords

topologypowerdomainsdenotational semanticsdomain theorycomputational effects

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Observationally-induced algebras in domain theory, Combining algebraic effect descriptions using the tensor of complete lattices, Observationally-induced Effects in Cartesian Closed Categories, Observationally-induced lower and upper powerspace constructions

Cites Work

• Power domains and second-order predicates
• Notions of computation and monads
• Inductive construction of repletion
• Adjoint product and hom functors in general topology
• Continuous Lattices and Domains
• Spaces in which sequences suffice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item