| |
| 2009 | ||
|---|---|---|
| 8 | EE | John Power, Miki Tanaka: Axiomatics for Data Refinement in Call by Value Programming Languages. Electr. Notes Theor. Comput. Sci. 225: 281-302 (2009) |
| 2008 | ||
| 7 | EE | John Power, Miki Tanaka: Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Inform. 84(2): 221-240 (2008) |
| 2007 | ||
| 6 | EE | Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168 |
| 2006 | ||
| 5 | EE | Miki Tanaka, John Power: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2-3): 305-337 (2006) |
| 4 | EE | Miki Tanaka, John Power: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. J. Log. Comput. 16(1): 5-25 (2006) |
| 2005 | ||
| 3 | EE | Miki Tanaka, John Power: A unified category-theoretic formulation of typed binding signatures. MERLIN 2005: 13-24 |
| 2 | EE | John Power, Miki Tanaka: Binding Signatures for Generic Contexts. TLCA 2005: 308-323 |
| 2000 | ||
| 1 | EE | Miki Tanaka: Abstract Syntax and Variable Binding for Linear Binders. MFCS 2000: 670-679 |
| 1 | Reynald Affeldt | [6] |
| 2 | Nicolas Marti | [6] |
| 3 | John Power (A. John Power) | [2] [3] [4] [5] [7] [8] |