Polycategories
From MaRDI portal
Publication:4123497
DOI10.1080/00927877508822067zbMath0353.18008OpenAlexW4230454922MaRDI QIDQ4123497
Publication date: 1975
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927877508822067
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (26)
Graphs, hypergraphs, and properads ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Bifibrations of polycategories and classical linear logic ⋮ Categorical proof theory of classical propositional calculus ⋮ An algebraic structure for derivations in rewriting systems ⋮ Natural deduction and coherence for weakly distributive categories ⋮ A practical type theory for symmetric monoidal categories ⋮ Graphs of plural cuts ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Glueing and orthogonality for models of linear logic ⋮ LNL polycategories and doctrines of linear logic ⋮ Polycategories via pseudo-distributive laws ⋮ On rectification and enrichment of infinity properads ⋮ A simplicial model for infinity properads ⋮ Weakly distributive categories ⋮ Linear logic, coherence and dinaturality ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ Unnamed Item ⋮ Operads and PROPs ⋮ Quantifier-complete categories ⋮ Proof theory in the abstract ⋮ Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) ⋮ Coherence in Cartesian closed categories and the generality of proofs ⋮ Expanding the Realm of Systematic Proof Theory ⋮ A monadic approach to polycategories ⋮ Full intuitionistic linear logic
Cites Work
This page was built for publication: Polycategories
