A linear category of polynomial diagrams
From MaRDI portal
Publication:5740350
DOI10.1017/S0960129512001016zbMath1342.03044arXiv1209.0940MaRDI QIDQ5740350
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.0940
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Graphs, diagram schemes, precategories (18A10)
Related Items
Constructive characterizations of bar subsets ⋮ Compositional Game Theory, Compositionally ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work