Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Coherence via focusing for symmetric skew monoidal categories - MaRDI portal

Coherence via focusing for symmetric skew monoidal categories (Q2148789)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coherence via focusing for symmetric skew monoidal categories
scientific article

    Statements

    title
    Coherence via focusing for symmetric skew monoidal categories (English)
    0 references
    author
    Niccolò Veltri
    0 references
    publication date
    24 June 2022
    0 references
    zbMATH Keywords
    symmetric skew monoidal categories
    0 references
    focused sequent calculus
    0 references
    coherence
    0 references
    substructural logic
    0 references
    Agda
    0 references
    cites work
    Computer Science Logic
    0 references
    Q3376920
    0 references
    Q5693578
    0 references
    Q5655527
    0 references
    Ribbon Tensorial Logic
    0 references
    Algebra of proofs
    0 references
    Q4625697
    0 references

    Identifiers

    zbMATH DE Number
    7547741
    0 references
    OpenAlex ID
    W3202723385
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2148789&oldid=36822416"
    Powered by MediaWiki