Equality of proofs for linear equality (Q944225)

From MaRDI portal
Revision as of 19:09, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Equality of proofs for linear equality
scientific article

    Statements

    title
    Equality of proofs for linear equality (English)
    0 references
    author
    Kosta Došen
    0 references
    Zoran Petrić
    0 references
    publication date
    12 September 2008
    0 references
    Mathematics Subject Classification ID
    03F07
    0 references
    03F05
    0 references
    03F52
    0 references
    03G30
    0 references
    18A40
    0 references
    18C05
    0 references
    18D10
    0 references
    zbMATH DE Number
    5343893
    0 references
    zbMATH Keywords
    equality
    0 references
    linear logic
    0 references
    preordering relation
    0 references
    equivalence relation
    0 references
    congruence relation
    0 references
    equality of proofs
    0 references
    categorical coherence
    0 references
    generality of proofs
    0 references
    monoidal categories
    0 references
    adjunction
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q944225&oldid=12918931"
    Powered by MediaWiki