@misc{indiciaebb03fc15d2d4,
  title = {A MALL Geometry of Interaction Based on Indexed Linear Logic},
  author = {Masahiro Hamano},
  year = {2020},
  doi = {10.1017/s0960129521000062},
  url = {https://arxiv.org/abs/1704.02711},
  note = {Source identifier: 1704.02711}
}