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
Short Proofs of Strong Normalization - MaRDI portal

Short Proofs of Strong Normalization (Q3599163)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Short Proofs of Strong Normalization
scientific article

    Statements

    title
    Short Proofs of Strong Normalization (English)
    0 references
    author
    Aleksander Wojdyga
    0 references
    publication date
    3 February 2009
    0 references
    zbMATH Keywords
    strong normalization
    0 references
    CPS-translation
    0 references
    permutative reductions
    0 references
    lambda calculus
    0 references
    System F
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B40
    0 references
    03F05
    0 references
    03F20
    0 references
    zbMATH DE Number
    5502076
    0 references
    OpenAlex ID
    W1534978143
    0 references
    arXiv ID
    0804.2535
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3599163&oldid=33638817"
    Powered by MediaWiki