12 citations · 56 across the 23 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
Variable binding, symmetric monoidal closed theories, and bigraphs
Richard Garner, Tom Hirschowitz, Aurélien Pardon
This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with linear aspects. In our…
cs.LO2009★ 4 cited
Contraction-free proofs and finitary games for Linear Logic
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut an…