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
Ordered combinatory algebras and realizability - MaRDI portal

Ordered combinatory algebras and realizability (Q2973254)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ordered combinatory algebras and realizability
scientific article

    Statements

    title
    Ordered combinatory algebras and realizability (English)
    0 references
    author
    Jonas Frey
    0 references
    Octavio Malherbe
    0 references
    Alexandre Miquel
    0 references
    publication date
    3 April 2017
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B40
    0 references
    03G30
    0 references
    03F50
    0 references
    03F55
    0 references
    zbMATH DE Number
    6699408
    0 references
    arXiv ID
    1410.5034
    0 references
    OpenAlex ID
    W2963271462
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2973254&oldid=37096219"
    Powered by MediaWiki