@misc{indiciaeda2c765e9342,
  title = {Proof Nets and the Linear Substitution Calculus},
  author = {Beniamino Accattoli},
  year = {2018},
  url = {https://arxiv.org/abs/1808.03395},
  note = {Source identifier: 1808.03395}
}