Miki Tanaka

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
j4		John Power, Miki Tanaka: Axiomatics for Data Refinement in Call by Value Programming Languages. Electr. Notes Theor. Comput. Sci. 225: 281-302 (2009)
	2008
j3		John Power, Miki Tanaka: Category Theoretic Semantics for Typed Binding Signatures with Recursion. Fundam. Inform. 84(2): 221-240 (2008)
	2007
c4		Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168
	2006
j2		Miki Tanaka, John Power: Pseudo-distributive laws and axiomatics for variable binding. Higher-Order and Symbolic Computation 19(2-3): 305-337 (2006)
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		John Power, Miki Tanaka: Binding Signatures for Generic Contexts. TLCA 2005: 308-323
	2000
c1		Miki Tanaka: Abstract Syntax and Variable Binding for Linear Binders. MFCS 2000: 670-679

Coauthor Index

Last update Mon May 27 04:54:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page