Jets and differential linear logic (Q4988427)

From MaRDI portal
scientific article; zbMATH DE number 7348342
Language Label Description Also known as
English
Jets and differential linear logic
scientific article; zbMATH DE number 7348342

    Statements

    title
    Jets and differential linear logic (English)
    0 references
    author
    James Wallbridge
    0 references
    publication date
    14 May 2021
    0 references
    zbMATH Keywords
    linear logic
    0 references
    vector bundles
    0 references
    differential operators
    0 references
    differential categories
    0 references
    cites work
    Q4293501
    0 references
    Q5579535
    0 references
    Q4474834
    0 references
    Q3024825
    0 references
    Q4904081
    0 references
    Q3552029
    0 references
    Finiteness spaces
    0 references
    Q4040131
    0 references
    Linear logic
    0 references
    Q5642655
    0 references
    Q4132979
    0 references
    Q4789940
    0 references
    Q4360299
    0 references
    Q5639839
    0 references
    Q3766547
    0 references
    Q3075441
    0 references
    Q3715336
    0 references
    Q3209062
    0 references
    Q3994886
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F52
    0 references
    18F20
    0 references
    18M45
    0 references
    58A20
    0 references
    zbMATH DE Number
    7348342
    0 references
    arXiv ID
    1811.06235
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4988427&oldid=36681361"
    Powered by MediaWiki