A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528)

From MaRDI portal
scientific article; zbMATH DE number 7798822
Language Label Description Also known as
English
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
scientific article; zbMATH DE number 7798822

    Statements

    A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (English)
    0 references
    0 references
    2 February 2024
    0 references
    stochastic relations
    0 references
    transition kernels
    0 references
    linear exponential comonad
    0 references
    linear logic
    0 references
    orthogonality
    0 references
    measure theory
    0 references
    s-finite
    0 references
    exponential measurable space
    0 references
    double glueing
    0 references
    tight orthogonality category
    0 references
    categorical model
    0 references
    probabilistic denotational semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers