Notions of computation and monads (Q757075)

From MaRDI portal
Revision as of 15:25, 21 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Notions of computation and monads
scientific article

    Statements

    Notions of computation and monads (English)
    0 references
    0 references
    1991
    0 references
    0 references
    monads
    0 references
    categorical semantics for computations
    0 references
    proving equivalence of programs
    0 references
    0 references
    0 references