Observationally-induced algebras in domain theory

DOI10.1016/j.entcs.2014.01.003zbMath1337.68158OpenAlexW2014028175WikidataQ113317921 ScholiaQ113317921MaRDI QIDQ276418

Ingo Battenfeld

Publication date: 3 May 2016

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

zbMATH Keywords

powerdomainsdenotational semanticscomputational effectstopological domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Uses Software

• Haskell

Cites Work

• Retracted: Semantic domains for combining probability and non-determinism
• Observationally-induced lower and upper powerspace constructions
• Combining algebraic effects with continuations
• D-completions and the \(d\)-topology
• Observationally-induced Effects in Cartesian Closed Categories
• De Groot duality and models of choice: angels, demons and nature
• Continuous Lattices and Domains
• Prevision Domains and Convex Powercones
• Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Observationally-induced algebras in domain theory