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
A linear/producer/consumer model of classical linear logic - MaRDI portal

A linear/producer/consumer model of classical linear logic (Q4637629)

From MaRDI portal
scientific article; zbMATH DE number 6864367
Language Label Description Also known as
English
A linear/producer/consumer model of classical linear logic
scientific article; zbMATH DE number 6864367

    Statements

    title
    A linear/producer/consumer model of classical linear logic (English)
    0 references
    author
    Jennifer Paykin
    0 references
    Steve Zdancewic
    0 references
    publication date
    25 April 2018
    0 references
    Mathematics Subject Classification ID
    03F52
    0 references
    03F05
    0 references
    03B20
    0 references
    18B50
    0 references
    zbMATH DE Number
    6864367
    0 references
    OpenAlex ID
    W2963814501
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4637629&oldid=37399970"
    Powered by MediaWiki