Representation of partial traces
From MaRDI portal
Publication:5971391
DOI10.1016/j.entcs.2015.12.004zbMath1352.18002OpenAlexW2217621790WikidataQ113317740 ScholiaQ113317740MaRDI QIDQ5971391
Publication date: 16 December 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.004
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Paracategories. I: Internal paracategories and saturated partial algebras
- Partially traced categories
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- Proof nets for unit-free multiplicative-additive linear logic
- Computer Science Logic
- Automata, Languages and Programming