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 formal system λδ - MaRDI portal

The formal system λδ (Q2946591)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The formal system λδ
scientific article

    Statements

    title
    The formal system λδ (English)
    0 references
    author
    Ferruccio Guidi
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH DE Number
    6483101
    0 references
    zbMATH Keywords
    abbreviations
    0 references
    environments as terms
    0 references
    terms as types
    0 references
    OpenAlex ID
    W2012542922
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946591&oldid=32423812"
    Powered by MediaWiki