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
Univalent Semantics of Constructive Type Theories - MaRDI portal

Univalent Semantics of Constructive Type Theories (Q3100202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Univalent Semantics of Constructive Type Theories
scientific article

    Statements

    title
    Univalent Semantics of Constructive Type Theories (English)
    0 references
    author
    Vladimir Voevodsky
    0 references
    publication date
    22 November 2011
    0 references
    Mathematics Subject Classification ID
    03F50
    0 references
    03B15
    0 references
    55U40
    0 references
    68T15
    0 references
    zbMATH DE Number
    5977504
    0 references
    zbMATH Keywords
    polymorphic type theories
    0 references
    Martin-Löf identity types
    0 references
    univalent semantics
    0 references
    type-theoretic foundations of mathematics
    0 references
    OpenAlex ID
    W188158278
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3100202&oldid=32126665"
    Powered by MediaWiki