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
Reducibility Proofs in the λ-Calculus - MaRDI portal

Reducibility Proofs in the λ-Calculus (Q4903716)

From MaRDI portal
scientific article; zbMATH DE number 6128568
Language Label Description Also known as
English
Reducibility Proofs in the λ-Calculus
scientific article; zbMATH DE number 6128568

    Statements

    title
    Reducibility Proofs in the λ-Calculus (English)
    0 references
    author
    Fairouz Kamareddine
    0 references
    Vincent Rahli
    0 references
    J. B. Wells
    0 references
    publication date
    24 January 2013
    0 references
    zbMATH Keywords
    lambda-calculus
    0 references
    typed lambda-calculus
    0 references
    reducibility
    0 references
    Church-Rosser property
    0 references

    Identifiers

    DOI
    10.3233/FI-2012-773
    0 references
    zbMATH DE Number
    6128568
    0 references
    OpenAlex ID
    W1548324986
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4903716&oldid=36986960"
    Powered by MediaWiki