Isomorphism theorems between models of mixed choice (Q5360215): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+The probabilistic powerdomain for stably compact spaces
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts of Ideal Monads
@@ Property / cites work: Coproducts of Ideal Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Previsions
@@ Property / cites work: Continuous Previsions / rank @@
+Normal rank
@@ Property / cites work @@
+Prevision Domains and Convex Powercones
@@ Property / cites work: Prevision Domains and Convex Powercones / rank @@
+Normal rank
@@ Property / cites work @@
+De Groot duality and models of choice: angels, demons and nature
+Normal rank
@@ Property / cites work @@
+A short proof of the Schröder–Simpson Theorem
@@ Property / cites work: A short proof of the Schröder–Simpson Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
+Normal rank
@@ Property / cites work @@
+QRB-Domains and the Probabilistic Powerdomain
@@ Property / cites work: QRB-Domains and the Probabilistic Powerdomain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373421
@@ Property / cites work: Q4373421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844074
@@ Property / cites work: Q2844074 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological cones: functional analysis in a \(T_{0}\)-setting
+Normal rank
@@ Property / cites work @@
+Locally convex cones and the Schröder-Simpson theorem
+Normal rank
@@ Property / cites work @@
+Predicate transformers for extended probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic, angelic and unbounded probabilistic choices in sequential programs
+Normal rank
@@ Property / cites work @@
+Topology, domain theory and theoretical computer science
+Normal rank
@@ Property / cites work @@
+Q4536613
@@ Property / cites work: Q4536613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340517
@@ Property / cites work: Q5340517 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868226
@@ Property / cites work: Q4868226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488202
@@ Property / cites work: Q4488202 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129515000547
+Normal rank
@@ Property / OpenAlex ID @@
+W2556537482
@@ Property / OpenAlex ID: W2556537482 / rank @@
+Normal rank