Double categories: a modular model of multiplicative linear logic
From MaRDI portal
Publication:4792944
DOI10.1017/S0960129501003498zbMath1022.03046OpenAlexW2094385683MaRDI QIDQ4792944
Publication date: 28 October 2003
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003498
proof-netcut-eliminationrewriting systemcomputationdouble categorymultiplicative linear logic*-autonomous categorymodular model
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs ⋮ Deep inference and probabilistic coherence spaces ⋮ A Theory for Game Theories
This page was built for publication: Double categories: a modular model of multiplicative linear logic