Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular

DOI10.4230/LIPICS.CSL.2018.29MaRDI QIDQ5079754OpenAlexFDO

Authors Aliaume Lopez, Alex Simpson

Publication date 28 May 2022

Full work available at URL https://inria.hal.science/hal-04360090

zbMATH Keywords

Markov decision processalgebraic effectsnondeterminismdomain theorycontextual equivalenceoperational semanticsprobabilistic choice

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• A sound and complete logic for algebraic effects
• Towards Effects in Mathematical Operational Semantics
• Semantic domains for combining probability and non-determinism
• Unifying theories of programming with monads
• scientific article; zbMATH DE number 1705158

Cites work

• 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?)
• 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
• 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 \(\mu \)-calculus

Cited in

(4)

• scientific article; zbMATH DE number 7453165 (Why is no real title available?)
• Combining algebraic effect descriptions using the tensor of complete lattices
• Quantitative logics for equivalence of effectful programs
• Smart Choices and the Selection Monad

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)