Graded modal dependent type theory (Q2233475)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Graded modal dependent type theory
scientific article

    Statements

    title
    Graded modal dependent type theory (English)
    0 references
    author
    Benjamin Moon
    0 references
    Harley III Eades
    0 references
    Dominic A. Orchard
    0 references
    publication date
    18 October 2021
    0 references
    cites work
    Q4957789
    0 references
    Q5625124
    0 references
    Linear logic
    0 references
    Q3994895
    0 references
    Q4225149
    0 references
    Q5018487
    0 references
    Q2958537
    0 references
    Q3688389
    0 references
    Q4247308
    0 references
    Coeffects
    0 references
    Q4068054
    0 references
    Practical affine types
    0 references

    Identifiers

    zbMATH DE Number
    7410469
    0 references
    OpenAlex ID
    W3110513392
    0 references
    arXiv ID
    2010.13163
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2233475&oldid=36722600"
    Powered by MediaWiki