Miki Tanaka John Power A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. 5-25 2006 16 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exi070 db/journals/logcom/logcom16.html#TanakaP06