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
Coherence and Transitivity in Coercive Subtyping - MaRDI portal

Coherence and Transitivity in Coercive Subtyping (Q2996166)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Coherence and Transitivity in Coercive Subtyping
scientific article

    Statements

    title
    Coherence and Transitivity in Coercive Subtyping (English)
    0 references
    author
    Yong Luo
    0 references
    Zhaohui Luo
    0 references
    publication date
    6 May 2011
    0 references
    describes a project that uses
    Coq
    0 references
    Plastic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B15
    0 references
    03B70
    0 references
    68N30
    0 references
    zbMATH DE Number
    5884906
    0 references
    OpenAlex ID
    W1587389352
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2996166&oldid=31350380"
    Powered by MediaWiki