Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining algebraic effect descriptions using the tensor of complete lattices
scientific article

    Statements

    Combining algebraic effect descriptions using the tensor of complete lattices (English)
    0 references
    0 references
    29 April 2022
    0 references
    0 references
    algebraic effects
    0 references
    Eilenberg-Moore algebra
    0 references
    tree monad
    0 references
    complete lattice
    0 references
    tensor product
    0 references
    program equivalence
    0 references
    quantitative logic
    0 references
    applicative bisimilarity
    0 references
    probability
    0 references
    nondeterminism
    0 references
    global store
    0 references
    0 references
    0 references