The Uniformity Principle on Traced Monoidal Categories
From MaRDI portal
Publication:2842820
DOI10.1016/S1571-0661(04)80563-2zbMath1270.18019OpenAlexW2111008373MaRDI QIDQ2842820
Publication date: 16 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80563-2
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
A Semantical Approach to Equilibria and Rationality ⋮ From Coalgebraic to Monoidal Traces ⋮ Protocol choice and iteration for the free cornering ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Traced Premonoidal Categories ⋮ Comonadic Notions of Computation
Cites Work
- Partially additive categories and flow-diagram semantics
- The geometry of tensor calculus. I
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Traced monoidal categories
- Retracing some paths in process algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The Uniformity Principle on Traced Monoidal Categories
