Miki Tanaka

	2009
8		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		John Power, Miki Tanaka: Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Inform. 84(2): 221-240 (2008)
	2007
6		Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168
	2006
5		Miki Tanaka, John Power: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2-3): 305-337 (2006)
4		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		Miki Tanaka, John Power: A unified category-theoretic formulation of typed binding signatures. MERLIN 2005: 13-24
2		John Power, Miki Tanaka: Binding Signatures for Generic Contexts. TLCA 2005: 308-323
	2000
1		Miki Tanaka: Abstract Syntax and Variable Binding for Linear Binders. MFCS 2000: 670-679

Coauthor Index

1	Reynald Affeldt	[6]
2	Nicolas Marti	[6]
3	John Power (A. John Power)	[2] [3] [4] [5] [7] [8]

Colors in the list of coauthors