Miki Tanaka

Available identifiers

zbMath Open tanaka.mikiMaRDI QIDQ853746

List of research outcomes

Publication	Date of Publication	Type
Axiomatics for Data Refinement in Call by Value Programming Languages	2015-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3532206	2008-11-03	Paper
Formal Proof of Provable Security by Game-Playing in a Proof Assistant	2008-06-10	Paper
Pseudo-distributive laws and axiomatics for variable binding	2006-11-17	Paper
A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics	2006-09-22	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4536403	2002-11-04	Paper

Research outcomes over time

This page was built for person: Miki Tanaka