@misc{indiciaefeb8d5444069,
  title = {Light Logics and Higher-Order Processes},
  author = {Ugo Dal Lago and Simone Martini and Davide Sangiorgi},
  year = {2010},
  doi = {10.1017/s0960129514000310},
  url = {https://arxiv.org/abs/1011.6431},
  note = {Source identifier: 1011.6431}
}