Concepedia

Koko Muroya

KM

Statistics

Publications

3

Citations

62

H-Index

3

Active since

2014

Affiliations

Kyoto University(Current)

The University of Tokyo

Koko Muroya is an author at Kyoto University specializing in lambda calculus semantics, operational semantics, and computer science.

ORCID

Publications per year

2014–2017

3

Publications

3

Memoryful geometry of interaction

Naohiko Hoshino, Koko Muroya, Ichiro Hasuo · 2014 · 37 citations

, , +15

Memoryful geometry of Interaction II: recursion and adequacy

Koko Muroya, Naohiko Hoshino, Ichiro Hasuo · 2016 · 14 citations

, , +12

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter

Koko Muroya, Dan R. Ghica · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 11 citations · Full text

, , +12

1–3 of 3