Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
From MaRDI portal
(Redirected from Publication:5079754)
Recommendations
Cites work
- A probabilistic PDL
- Abstraction, Refinement and Proof for Probabilistic Systems
- Axioms for probability and nondeterminism
- Behavioural equivalence via modalities for algebraic effects
- Combining effects: sum and tensor
- Distributing probability over non-determinism
- Effectful applicative bisimilarity: monads, relators, and Howe's method
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Handlers of Algebraic Effects
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- scientific article; zbMATH DE number 6712178 (Why is no real title available?)
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- Instances of computational effects: an algebraic perspective
- Isomorphism theorems between models of mixed choice
- Semantic domains for combining probability and non-determinism
- Stable power domains
- Upper-expectation bisimilarity and Łukasiewicz -calculus
Cited in
(5)- Quantitative logics for equivalence of effectful programs
- Combining algebraic effect descriptions using the tensor of complete lattices
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- Smart Choices and the Selection Monad
- Errata to: ``Isomorphism theorems between models of mixed choice, fixes and consequences
This page was built for publication: Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079754)
