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

From MaRDI portal
scientific article; zbMATH DE number 7533354
Language Label Description Also known as
English
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
scientific article; zbMATH DE number 7533354

    Statements

    0 references
    0 references
    28 May 2022
    0 references
    contextual equivalence
    0 references
    algebraic effects
    0 references
    operational semantics
    0 references
    domain theory
    0 references
    nondeterminism
    0 references
    probabilistic choice
    0 references
    Markov decision process
    0 references
    Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (English)
    0 references

    Identifiers