scientific article
From MaRDI portal
Publication:2844074
zbMath1270.68152MaRDI QIDQ2844074
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051345
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Compactness (54D30) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)
Related Items (24)
Algebras of the extended probabilistic powerdomain monad ⋮ A four for the price of one duality principle for distributive spaces ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Approaching metric domains ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Barr-exact categories and soft sheaf representations ⋮ Isomorphism theorems between models of mixed choice ⋮ Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces ⋮ Duality and canonical extensions for stably compact spaces ⋮ Sheaves and duality ⋮ Convergence and quantale-enriched categories ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ The enriched Vietoris monad on representable spaces ⋮ Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces ⋮ Continuous Domain Theory in Logical Form ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Simulation Hemi-metrics between Infinite-State Stochastic Games ⋮ Prevision Domains and Convex Powercones ⋮ Separated and prime compactifications ⋮ Duality theory for enriched Priestley spaces ⋮ Limits in categories of Vietoris coalgebras ⋮ Canonical Extensions, Esakia Spaces, and Universal Models ⋮ Dualities for modal algebras from the point of view of triples
This page was built for publication:
