Boolean restriction categories and taut monads (Q2503320)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Boolean restriction categories and taut monads
scientific article

    Statements

    Boolean restriction categories and taut monads (English)
    0 references
    0 references
    14 September 2006
    0 references
    restriction categories
    0 references
    Boolean categories
    0 references
    monads in programming
    0 references
    dynamic logic
    0 references

    Identifiers