No label defined (Q4263875)

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

    Statements

    22 September 1999
    0 references
    \(\alpha\lambda\)-calculus
    0 references
    weakening
    0 references
    contraction
    0 references
    multiplicative function type
    0 references
    additive function type
    0 references
    calculus of proof terms
    0 references
    logic of bunched implications
    0 references
    doubly closed categories
    0 references
    resource interpretations
    0 references
    syntactic control of interference
    0 references
    0 references

    Identifiers