Pages that link to "Item:Q5360215"
From MaRDI portal
The following pages link to Isomorphism theorems between models of mixed choice (Q5360215):
Displaying 9 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions (Q2087781) (← links)
- Domain-complete and LCS-complete spaces (Q2130601) (← links)
- Algebras of the extended probabilistic powerdomain monad (Q2130602) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
