@misc{indiciaed9acad49cadb,
  title = {Upward confluence in the interaction calculus},
  author = {Anton Salikhmetov},
  year = {2018},
  url = {https://arxiv.org/abs/1806.07275},
  note = {Source identifier: 1806.07275}
}