Statistics
Publications
3
Citations
64
H-Index
3
Active since
2005
Miki Tanaka is an author at University of Edinburgh specializing in computer science, model theory, and formal methods.
Publications per year
2005–2006
3
3
A unified category-theoretic formulation of typed binding signatures
Miki Tanaka, John Power · 2005 · 13 citations
Computing, Computer Science, Algebra +15
1–3 of 3