scientific article
From MaRDI portal
Publication:2852372
zbMath1273.68141MaRDI QIDQ2852372
Alex K. Simpson, Matthias Schröder
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600212X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (8)
Observationally-induced algebras in domain theory ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Observationally-induced Effects in Cartesian Closed Categories ⋮ Healthiness conditions for predicate transformers ⋮ Observationally-induced lower and upper powerspace constructions ⋮ Comparing free algebras in topological and classical domain theory ⋮ Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
This page was built for publication:
