`Travelled to:`

1 × Austria

`Collaborated with:`

N.Hoshino I.Hasuo D.R.Ghica

`Talks about:`

interact (3) geometri (3) memory (2) coalgebra (1) adequaci (1) algebra (1) rewrit (1) recurs (1) machin (1) effect (1)

## Person: Koko Muroya

### DBLP: Muroya:Koko

### Contributed to:

### Wrote 3 papers:

- LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive
- Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.
- CSL-2017-MuroyaG #call-by #geometry #graph grammar #interactive
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (KM, DRG), p. 15.
- POPL-2016-MuroyaHH #geometry #interactive #recursion
- Memoryful geometry of interaction II: recursion and adequacy (KM, NH, IH), pp. 748–760.