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
The Standardization Theorem for λ‐Calculus - MaRDI portal

The Standardization Theorem for λ‐Calculus (Q3884083)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Standardization Theorem for λ‐Calculus
scientific article

    Statements

    title
    The Standardization Theorem for λ‐Calculus (English)
    0 references
    author
    G. Mitschke
    0 references
    publication date
    1979
    0 references
    zbMATH Keywords
    lambda calculus
    0 references
    standard reduction
    0 references

    Identifiers

    zbMATH DE Number
    3689357
    0 references
    OpenAlex ID
    W2036609822
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3884083&oldid=32402917"
    Powered by MediaWiki