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
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance - MaRDI portal

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance (Q3064169)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
scientific article

    Statements

    title
    Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance (English)
    0 references
    author
    William Lovas
    0 references
    Frank Pfenning
    0 references
    publication date
    20 December 2010
    0 references
    zbMATH Keywords
    logical frameworks
    0 references
    refinement types
    0 references
    proof irrelevance
    0 references
    describes a project that uses
    Nuprl
    0 references
    Delphin
    0 references
    Forsythe
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    03B70
    0 references
    68N18
    0 references
    zbMATH DE Number
    5828007
    0 references
    arXiv ID
    1009.1861
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3064169&oldid=33589205"
    Powered by MediaWiki