Observationally-induced lower and upper powerspace constructions

DOI10.1016/j.jlamp.2014.11.004zbMath1337.68159OpenAlexW2064350535MaRDI QIDQ492906

Ingo Battenfeld, Matthias Schröder

Publication date: 21 August 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.11.004

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30)

Related Items (1)

Observationally-induced algebras in domain theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Power domains
• Algebraic operations and generic effects
• A Powerdomain Construction
• Continuous Lattices and Domains
• Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions

This page was built for publication: Observationally-induced lower and upper powerspace constructions