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
Ludics with repetitions (Exponentials, Interactive types and Completeness) - MaRDI portal

Ludics with repetitions (Exponentials, Interactive types and Completeness) (Q3003332)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ludics with repetitions (Exponentials, Interactive types and Completeness)
scientific article

    Statements

    title
    Ludics with repetitions (Exponentials, Interactive types and Completeness) (English)
    0 references
    author
    Michele Basaldella
    0 references
    Claudia Faggian
    0 references
    publication date
    26 May 2011
    0 references
    zbMATH Keywords
    linear logic
    0 references
    ludics
    0 references
    game semantics
    0 references
    internal completeness
    0 references

    Identifiers

    zbMATH DE Number
    5900082
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3003332&oldid=27421746"
    Powered by MediaWiki