@misc{indiciae53394a3c48df,
  title = {The Abstract Machinery of Interaction (Long Version)},
  author = {Beniamino Accattoli and Ugo Dal Lago and Gabriele Vanoni},
  year = {2020},
  url = {https://arxiv.org/abs/2002.05649},
  note = {Source identifier: 2002.05649}
}