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
ON THE REDUCTION OF TYPE THEORY - MaRDI portal

ON THE REDUCTION OF TYPE THEORY (Q3216641)

From MaRDI portal





scientific article
Language Label Description Also known as
English
ON THE REDUCTION OF TYPE THEORY
scientific article

    Statements

    title
    ON THE REDUCTION OF TYPE THEORY (English)
    0 references
    author
    Marcel Crabbé
    0 references
    publication date
    1983
    0 references
    zbMATH Keywords
    New Foundations
    0 references
    type theory
    0 references

    Identifiers

    zbMATH DE Number
    3882418
    0 references
    OpenAlex ID
    W2041835276
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3216641&oldid=39283519"
    Powered by MediaWiki