Koko Muroya (室屋 晃子)


An animation of an "effectful" token machine.
The token machine is assigned by our memoryful GoI framework
to an effectful lambda-term (\x.x) (3|_0.4_|5) that includes
a choice operator with probability 0.4.

Research Interests

Tool

Papers/Theses

Talks

Education

Award

Academic Visits