Categorical logic of names and abstraction in action calculi (Q4379680)

From MaRDI portal
scientific article; zbMATH DE number 1123624
Language Label Description Also known as
English
Categorical logic of names and abstraction in action calculi
scientific article; zbMATH DE number 1123624

    Statements

    Categorical logic of names and abstraction in action calculi (English)
    0 references
    0 references
    4 March 1998
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    action calculus
    0 references
    categorical semantics
    0 references
    functional completeness
    0 references
    symmetric monoidal categories
    0 references
    abstraction
    0 references
    action categories
    0 references
    Moggi monad
    0 references