3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2008★ 3 cited
Graphical Presentations of Symmetric Monoidal Closed Theories
Richard Garner, Tom Hirschowitz, Aurélien Pardon
We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in te…