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
Complexity of Type Inference - MaRDI portal

Complexity of Type Inference (Q3000286)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of Type Inference
scientific article

    Statements

    title
    Complexity of Type Inference (English)
    0 references
    author
    Jerzy Tyszkiewicz
    0 references
    publication date
    18 May 2011
    0 references
    zbMATH Keywords
    typed lambda calculus
    0 references
    simple types
    0 references
    typability
    0 references
    complexity
    0 references
    PTIME
    0 references

    Identifiers

    DOI
    10.3233/FI-2010-329
    0 references
    Mathematics Subject Classification ID
    03B40
    0 references
    68N18
    0 references
    68Q25
    0 references
    zbMATH DE Number
    5896925
    0 references
    OpenAlex ID
    W1580190102
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3000286&oldid=37250642"
    Powered by MediaWiki