Musings around the geometry of interaction, and coherence (Q534708): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 07:52, 30 January 2024

scientific article
Language Label Description Also known as
English
Musings around the geometry of interaction, and coherence
scientific article

    Statements

    Musings around the geometry of interaction, and coherence (English)
    0 references
    10 May 2011
    0 references
    geometry of interaction
    0 references
    linear logic
    0 references
    inverse monoid
    0 references
    \(*\)-autonomous category
    0 references
    coherence completion
    0 references

    Identifiers