| Pseudo-distributive laws and a unified framework for variable binding M Tanaka The University of Edinburgh, 2004 | 43 | 2004 |
| Formal Proof of Provable Security by Game-Playing in a Proof Assistant R Affeldt, M Tanaka, N Marti Provable Security, 151-168, 2007 | 35 | 2007 |
| Pseudo-distributive laws and axiomatics for variable binding M Tanaka, J Power Higher-order and symbolic computation 19 (2-3), 305-337, 2006 | 29 | 2006 |
| Abstract Syntax and Variable Binding for Linear Binders M Tanaka MFCS, 670-679, 2000 | 26 | 2000 |
| A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics M Tanaka, J Power Journal of Logic and Computation 16 (1), 5-25, 2006 | 21 | 2006 |
| A unified category-theoretic formulation of typed binding signatures M Tanaka, J Power MERLIN, 13-24, 2005 | 21 | 2005 |
| Binding Signatures for Generic Contexts J Power, M Tanaka TLCA, 308-323, 2005 | 12 | 2005 |
| Category Theoretic Semantics for Typed Binding Signatures with Recursion J Power, M Tanaka Fundamenta Informaticae 84 (2), 221-240, 2008 | 7 | 2008 |
| Axiomatics for Data Refinement in Call by Value Programming Languages J Power, M Tanaka Electronic Notes in Theoretical Computer Science 225, 281-302, 2009 | 3 | 2009 |
| Generic Binding Signatures (Algebra, Languages and Computation) M Tanaka 京都大学数理解析研究所, 2005 | | 2005 |
| A unified category-theoretic approach to substitution in substructural logics M Tanaka, J Power University of Bath, 2004 | | 2004 |
| Axiomatics for datafire nement in call by value programming languages J Power, M Tanaka | | |
