@misc{indiciaefb2c5c3a323b,
  title = {The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter},
  author = {Koko Muroya and Dan R. Ghica},
  year = {2017},
  url = {https://arxiv.org/abs/1703.10027},
  note = {Source identifier: 1703.10027}
}