Theory and Applications of Models of Computation

DOI10.1007/11750321zbMath1178.68328OpenAlexW4296156427MaRDI QIDQ5898910

Klaus Keimel, Martín Hötzel Escardó, Ben Cohen

Publication date: 30 April 2007

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

Full work available at URL: https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (5)

Algebras of the extended probabilistic powerdomain monad ⋮ The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras ⋮ Completing simple valuations in K-categories ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces

This page was built for publication: Theory and Applications of Models of Computation