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