Weak typed Böhm theorem on IMLL (Q866556)

From MaRDI portal
Revision as of 16:17, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Weak typed Böhm theorem on IMLL
scientific article

    Statements

    title
    Weak typed Böhm theorem on IMLL (English)
    0 references
    author
    Satoshi Matsuoka
    0 references
    publication date
    14 February 2007
    0 references
    Mathematics Subject Classification ID
    03F52
    0 references
    03B40
    0 references
    18D15
    0 references
    zbMATH DE Number
    5126398
    0 references
    zbMATH Keywords
    linear logic
    0 references
    separation
    0 references
    proof nets
    0 references
    graph isomorphisms
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q866556&oldid=12813157"
    Powered by MediaWiki