Observationally-induced Effects in Cartesian Closed Categories

DOI10.1016/j.entcs.2012.08.004zbMath1342.68068OpenAlexW2043199778WikidataQ113318090 ScholiaQ113318090MaRDI QIDQ3178272

Ingo Battenfeld

Publication date: 8 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.2012.08.004

zbMATH Keywords

powerdomainsdenotational semanticscomputational effectstopological domain theory

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Observationally-induced algebras in domain theory ⋮ Non-deterministic effects in a realizability model

Cites Work

• Notions of computation and monads
• Combining algebraic effects with continuations
• A universal characterization of the double powerlocale
• A Convenient Category of Domains
• Compactly generated domain theory
• Quotients of countably based spaces are not closed under sobrification
• Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Observationally-induced Effects in Cartesian Closed Categories