No label defined (Q4508305)

From MaRDI portal
Revision as of 08:16, 7 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 1512620
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1512620

    Statements

    0 references
    0 references
    0 references
    27 February 2001
    0 references
    categorical semantics
    0 references
    system of mixed intuitionistic and linear type theory
    0 references
    ILT
    0 references
    intuitionistic logic
    0 references
    intuitionistic linear logic
    0 references
    monoidal adjunctions
    0 references
    symmetric monoidal closed categories
    0 references
    Cartesian closed categories
    0 references
    fibrations
    0 references

    Identifiers

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