No label defined (Q4870803)

From MaRDI portal
scientific article; zbMATH DE number 860033
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 860033

    Statements

    0 references
    0 references
    1 July 1996
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    category of games
    0 references
    game semantics
    0 references
    multiplicative fragment of linear logic
    0 references
    recursive domain equations
    0 references
    Freyd's minimal invariant property
    0 references
    lifting
    0 references
    separated sum
    0 references
    recursive types
    0 references