- 2009
[j4]
- 2008
[j3]
- 2007
[c4]
- 2006
[j2]
[j1]
Miki Tanaka,
John Power:
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16(1): 5-25 (2006)
- 2005
[c3]
Miki Tanaka,
John Power:
A unified category-theoretic formulation of typed binding signatures. MERLIN 2005: 13-24
[c2]
- 2000
[c1]
Miki Tanaka:
Abstract Syntax and Variable Binding for Linear Binders. MFCS 2000: 670-679
data released under the ODC-BY 1.0 license. See also our legal information page