The following pages link to Polycategories (Q4123497):
Displaying 26 items.
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Weakly distributive categories (Q674463) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) (Q1262937) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- Operads and PROPs (Q3053870) (← links)
- A simplicial model for infinity properads (Q3121011) (← links)
- Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- (Q5079757) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- On rectification and enrichment of infinity properads (Q6176333) (← links)
