Graded modal dependent type theory (Q2233475)

From MaRDI portal
Revision as of 19:51, 26 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





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