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
Companions, Codensity and Causality - MaRDI portal

Companions, Codensity and Causality (Q2988363)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Companions, Codensity and Causality
scientific article

    Statements

    title
    Companions, Codensity and Causality (English)
    0 references
    author
    Damien Pous
    0 references
    Jurriaan Rot
    0 references
    publication date
    19 May 2017
    0 references
    describes a project that uses
    Paco
    0 references
    CompCertTSO
    0 references
    cites work
    Q4230922
    0 references
    Q4044767
    0 references
    Q3812424
    0 references
    Q2980965
    0 references
    Q4215784
    0 references
    Q4499306
    0 references
    Q3992568
    0 references
    Q2734510
    0 references
    CompCertTSO
    0 references
    Q2908856
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    03B70
    0 references
    06B23
    0 references
    08A70
    0 references
    18C15
    0 references
    68Q65
    0 references
    zbMATH DE Number
    6720986
    0 references
    OpenAlex ID
    W2613375231
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2988363&oldid=36322508"
    Powered by MediaWiki