The following pages link to (Q4536613):
Displaying 19 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295) (← links)
- A monad for randomized algorithms (Q1744376) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Anatomy of a domain of continuous random variables. I (Q2253185) (← links)
- Discrete random variables over domains (Q2373745) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- Anatomy of a Domain of Continuous Random Variables II (Q4922084) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094151) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- Isomorphism theorems between models of mixed choice (Q5360215) (← links)
- Prevision Domains and Convex Powercones (Q5458368) (← links)
