Appendix: Separability of tensor in Chu categories of vector spaces
From MaRDI portal
Publication:4882499
DOI10.1017/S0960129500000955zbMath0859.18009MaRDI QIDQ4882499
Publication date: 9 April 1997
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic, Linear Läuchli semantics, The shuffle Hopf algebra and noncommutative full completeness