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
Guarded cubical type theory - MaRDI portal

Guarded cubical type theory (Q2319985)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Guarded cubical type theory
scientific article

    Statements

    title
    Guarded cubical type theory (English)
    0 references
    author
    Lars Birkedal
    0 references
    Aleš Bizjak
    0 references
    Ranald Clouston
    0 references
    Hans Bugge Grathwohl
    0 references
    Bas Spitters
    0 references
    Andrea Vezzosi
    0 references
    publication date
    21 August 2019
    0 references
    zbMATH Keywords
    homotopy type theory
    0 references
    cubical type theory
    0 references
    guarded recursion
    0 references
    describes a project that uses
    cubicaltt
    0 references
    Coq
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B38
    0 references
    55U35
    0 references
    18F20
    0 references
    zbMATH DE Number
    7096714
    0 references
    OpenAlex ID
    W2962873201
    0 references
    arXiv ID
    1611.09263
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2319985&oldid=36518060"
    Powered by MediaWiki