Search the dblp DataBase

Publications of Author

1. Miki Tanaka
   Abstract Syntax and Variable Binding for Linear Binders. [Citation Graph (0, 0)][DBLP]
   MFCS, 2000, pp:670-679 [Conf]
   
2. John Power, Miki Tanaka
   Binding Signatures for Generic Contexts. [Citation Graph (0, 0)][DBLP]
   TLCA, 2005, pp:308-323 [Conf]
   
3. Miki Tanaka, John Power
   Pseudo-distributive laws and axiomatics for variable binding. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:305-337 [Journal]
   
4. Miki Tanaka, John Power
   A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:1, pp:5-25 [Journal]
   
5. Reynald Affeldt, Miki Tanaka, Nicolas Marti
   Formal Proof of Provable Security by Game-Playing in a Proof Assistant. [Citation Graph (0, 0)][DBLP]
   ProvSec, 2007, pp:151-168 [Conf]
   
6. 
   A unified category-theoretic formulation of typed binding signatures. [Citation Graph (, )][DBLP]
   
   
7. 
   Axiomatics for Data Refinement in Call by Value Programming Languages. [Citation Graph (, )][DBLP]