Coherence for modalities (Q531368)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Coherence for modalities
    scientific article

      Statements

      Coherence for modalities (English)
      0 references
      0 references
      0 references
      29 April 2011
      0 references
      positive modalities
      0 references
      categorical proof theory
      0 references
      mixed distributive laws
      0 references
      Frobenius algebras
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references