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
Computational Complexity Via Finite Types - MaRDI portal

Computational Complexity Via Finite Types (Q2946764)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computational Complexity Via Finite Types
scientific article

    Statements

    title
    Computational Complexity Via Finite Types (English)
    0 references
    author
    Andrea Asperti
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    finite types
    0 references
    System T
    0 references
    complexity classes
    0 references
    higher-order primitive recursion
    0 references
    memoization
    0 references
    cites work
    Guest editorial
    0 references
    Alternation
    0 references
    Light linear logic
    0 references
    Q3979266
    0 references
    Q5302559
    0 references
    Q3075246
    0 references
    Q4227581
    0 references
    Q4850553
    0 references
    Q4474861
    0 references

    Identifiers

    DOI
    10.1145/2764906
    0 references
    zbMATH DE Number
    6483255
    0 references
    OpenAlex ID
    W2199053348
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946764&oldid=36201452"
    Powered by MediaWiki