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
Combining Type Theory and Untyped Set Theory - MaRDI portal

Combining Type Theory and Untyped Set Theory (Q3613410)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combining Type Theory and Untyped Set Theory
scientific article

    Statements

    title
    Combining Type Theory and Untyped Set Theory (English)
    0 references
    publication date
    12 March 2009
    0 references
    author
    Chad Edward Brown
    0 references
    describes a project that uses
    TPS
    0 references
    Isabelle/ZF
    0 references
    VAMPIRE
    0 references

    Identifiers

    DOI
    10.1007/11814771_19
    0 references
    Mathematics Subject Classification ID
    03B35
    0 references
    03B15
    0 references
    03E70
    0 references
    zbMATH DE Number
    5528288
    0 references
    OpenAlex ID
    W1490805806
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3613410&oldid=31769378"
    Powered by MediaWiki