Weakly distributive categories

1997/01/01 by J.R.B. Cockett, R.A.G. Seely, R. A. G. Seely · 12 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic

paper · doi:10.1016/0022-4049(95)00160-3

Citations

• Natural deduction and coherence for weakly distributive categories

Cited by

• A practical type theory for symmetric monoidal categories
• Middle-Four Maps and Net Categories
• Coherence in Linear Predicate Logic
• Semantic Proof of Confluence of the Categorical Reduction System for\n Linear Logic
• Coherence of Proof-Net Categories
• Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic -- Extended Version
• A Cointuitionistic Adjoint Logic
• Restricted exchange, braidings and the monoidal centre
• The algebra of entanglement and the geometry of composition
• A note on Frobenius monoidal functors on autonomous categories
• Focalization and phase models for classical extensions of non-associative Lambek calculus
• Spinal Atomic Lambda-Calculus [europepmc]