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

DOI10.4230/LIPICS.CSL.2018.29OpenAlexW2889362727MaRDI QIDQ5079754

Aliaume Lopez, Alex K. Simpson

Publication date: 28 May 2022

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

zbMATH Keywords

operational semanticsMarkov decision processnondeterminismdomain theoryalgebraic effectscontextual equivalenceprobabilistic choice

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Quantitative logics for equivalence of effectful programs ⋮ Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Smart Choices and the Selection Monad ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic domains for combining probability and non-determinism
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• A probabilistic PDL
• Stable power domains
• Behavioural equivalence via modalities for algebraic effects
• Combining effects: sum and tensor
• Handlers of Algebraic Effects
• Abstraction, Refinement and Proof for Probabilistic Systems
• Instances of Computational Effects: An Algebraic Perspective
• Isomorphism theorems between models of mixed choice
• Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
• Distributing probability over non-determinism

This page was built for publication: Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular