The following pages link to Weakly distributive categories (Q674463):
Displaying 50 items.
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- A micrological study of negation (Q345707) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Skew-monoidal categories and bialgebroids. (Q456777) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Dendriform algebras relative to a semigroup (Q784864) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Commutativity (Q899553) (← links)
- The logic of message-passing (Q923880) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- The continuous weak order (Q2196345) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- Braided distributivity (Q2286738) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Sheaf representation of monoidal categories (Q2687340) (← links)
- Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
- Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- A quantum double construction in Rel (Q2909732) (← links)
- (Q4555337) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- (Q4993336) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- (Q5015209) (← links)
- (Q5028428) (← links)
- (Q5079725) (← links)
- (Q5137919) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- The parametric continuation monad (Q5269001) (← links)
- Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
