Polycategories
From MaRDI portal
Publication:4123497
DOI10.1080/00927877508822067zbMATH Open0353.18008OpenAlexW4230454922MaRDI QIDQ4123497FDOQ4123497
Authors: Manfred E. Szabo
Publication date: 1975
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927877508822067
Cites Work
Cited In (27)
- Operads and PROPs
- A monadic approach to polycategories
- LNL polycategories and doctrines of linear logic
- Graphs, hypergraphs, and properads
- 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 Logical Basis for Quantum Evolution and Entanglement
- 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
- 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
- Title not available (Why is that?)
- \(\ast\)-autonomous envelopes and conservativity
- Expanding the Realm of Systematic Proof Theory
- Natural deduction and coherence for weakly distributive categories
- Graphs of plural cuts
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Polycategories via pseudo-distributive laws
- A practical type theory for symmetric monoidal categories
- 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)