Full abstraction for nominal general references (Q3401132)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Full abstraction for nominal general references
scientific article

    Statements

    Full abstraction for nominal general references (English)
    0 references
    0 references
    28 January 2010
    0 references
    game semantics
    0 references
    denotational semantics
    0 references
    monads
    0 references
    comonads
    0 references
    \(\nu\)-calculus
    0 references
    ML
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references