! and ? – Storage as tensorial strength

DOI10.1017/S0960129500001055zbMath0860.18004OpenAlexW1968357837MaRDI QIDQ4715669

R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett

Publication date: 13 April 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001055

zbMATH Keywords

coherencelinear logicweakly distributive categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical structures (18D99)

Related Items (5)

Natural deduction and coherence for weakly distributive categories ⋮ LNL polycategories and doctrines of linear logic ⋮ Unnamed Item ⋮ Categories for computation in context and unified logic ⋮ Feedback for linearly distributive categories: Traces and fixpoints

Cites Work

• Linear logic
• Linear logic, coherence and dinaturality
• The geometry of tensor calculus. I
• Categories with finite limits and stable binary coproducts can be subdirectly decomposed
• The structure of multiplicatives
• Constant-only multiplicative linear logic is NP-complete
• Coalgebras and cartesian categories

This page was built for publication: ! and ? – Storage as tensorial strength