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
Definitional Extension in Type Theory - MaRDI portal

Definitional Extension in Type Theory (Q2968420)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Definitional Extension in Type Theory
scientific article

    Statements

    author
    Tao Xue
    0 references
    publication date
    13 March 2017
    0 references
    zbMATH Keywords
    conservative extension
    0 references
    definitional extension
    0 references
    subtype
    0 references
    coercive subtyping
    0 references
    title
    Definitional Extension in Type Theory (English)
    0 references

    Identifiers

    zbMATH DE Number
    6694188
    0 references
    OpenAlex ID
    W2898556184
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2968420&oldid=39248057"
    Powered by MediaWiki