The Separation Theorem for Differential Interaction Nets (Q3498483)

From MaRDI portal
Revision as of 23:36, 4 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
The Separation Theorem for Differential Interaction Nets
scientific article

    Statements

    title
    The Separation Theorem for Differential Interaction Nets (English)
    0 references
    author
    Damiano Mazza
    0 references
    Michele Pagani
    0 references
    publication date
    15 May 2008
    0 references
    zbMATH DE Number
    5275857
    0 references
    zbMATH Keywords
    Differential interaction nets
    0 references
    faithfulness
    0 references
    linear logic
    0 references
    observational equivalence
    0 references
    proof-nets
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3498483&oldid=16847358"
    Powered by MediaWiki