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
Towards Lambda Calculus Order-Incompleteness - MaRDI portal

Towards Lambda Calculus Order-Incompleteness (Q4916175)

From MaRDI portal
scientific article; zbMATH DE number 6155984
Language Label Description Also known as
English
Towards Lambda Calculus Order-Incompleteness
scientific article; zbMATH DE number 6155984

    Statements

    title
    Towards Lambda Calculus Order-Incompleteness (English)
    0 references
    publication date
    19 April 2013
    0 references
    author
    Antonino Salibra
    0 references
    cites work
    Q4886631
    0 references
    Q4160405
    0 references
    Q3934450
    0 references
    Q3221961
    0 references
    Q5565113
    0 references
    Q5572358
    0 references
    Q3024839
    0 references
    Q3965241
    0 references
    Q3997016
    0 references
    Q3751631
    0 references
    Q3837997
    0 references
    Q2729668
    0 references
    Q3960746
    0 references
    Q5649639
    0 references
    Data Types as Lattices
    0 references
    Q3661543
    0 references
    Q4385538
    0 references
    Q5613067
    0 references
    Q4143774
    0 references

    Identifiers

    zbMATH DE Number
    6155984
    0 references
    OpenAlex ID
    W2002993322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4916175&oldid=37235396"
    Powered by MediaWiki