A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

Miki Tanaka, John Power. A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. Journal of Logic and Computation, 16(1):5-25, 2006. [doi]

Abstract

Abstract is missing.