Cites work
Cited in
(28)- A practical type theory for symmetric monoidal categories
- Operads and PROPs
- A monadic approach to polycategories
- Graphs, hypergraphs, and properads
- LNL polycategories and doctrines of linear logic
- Weakly distributive categories
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
- Quantifier-complete categories
- An algebraic structure for derivations in rewriting systems
- Glueing and orthogonality for models of linear logic
- A simplicial model for infinity properads
- Proof theory in the abstract
- Bifibrations of polycategories and classical linear logic
- On rectification and enrichment of infinity properads
- Full intuitionistic linear logic
- A logical basis for quantum evolution and entanglement
- Coherence in Cartesian closed categories and the generality of proofs
- Categorical proof theory of classical propositional calculus
- Fairness and communication-based semantics for session-typed languages
- The frame problem and the semantics of classical proofs
- scientific article; zbMATH DE number 7533357 (Why is no real title available?)
- -autonomous envelopes and conservativity
- Expanding the Realm of Systematic Proof Theory
- Natural deduction and coherence for weakly distributive categories
- Graphs of plural cuts
- Polycategories via pseudo-distributive laws
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Linear logic, coherence and dinaturality
This page was built for publication: Polycategories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4123497)
