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

DOI10.4230/LIPICS.CSL.2018.29OpenAlexW2889362727MaRDI QIDQ5079754FDOQ5079754

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)

Cites Work

• Combining effects: sum and tensor
• Title not available (Why is that?)
• Handlers of Algebraic Effects
• Semantic domains for combining probability and non-determinism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Instances of Computational Effects: An Algebraic Perspective
• A probabilistic PDL
• Distributing probability over non-determinism
• Abstraction, Refinement and Proof for Probabilistic Systems
• Title not available (Why is that?)
• Axioms for probability and nondeterminism
• Stable power domains
• Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
• Isomorphism theorems between models of mixed choice
• Behavioural equivalence via modalities for algebraic effects
• Title not available (Why is that?)
• Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
• Title not available (Why is that?)

Cited In (4)

• Combining algebraic effect descriptions using the tensor of complete lattices
• Quantitative logics for equivalence of effectful programs
• Smart Choices and the Selection Monad
• Title not available (Why is that?)

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)