Multiplexor Categories and Models of Soft Linear Logic (Q5434527)

From MaRDI portal
scientific article; zbMATH DE number 5223591
Language Label Description Also known as
English
Multiplexor Categories and Models of Soft Linear Logic
scientific article; zbMATH DE number 5223591

    Statements

    Multiplexor Categories and Models of Soft Linear Logic (English)
    0 references
    0 references
    4 January 2008
    0 references
    Categorical semantics
    0 references
    Soft Linear Logic
    0 references
    Polynomial time
    0 references
    Game semantics
    0 references

    Identifiers