Divergences on monads for relational program logics (Q6149935)

From MaRDI portal
scientific article; zbMATH DE number 7813350
Language Label Description Also known as
English
Divergences on monads for relational program logics
scientific article; zbMATH DE number 7813350

    Statements

    Divergences on monads for relational program logics (English)
    0 references
    0 references
    0 references
    0 references
    5 March 2024
    0 references
    0 references
    relational Hoare logics
    0 references
    graded monads
    0 references
    relational liftings
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references