@misc{indiciae58f78a0e8601,
  title = {Interpreting a concurrent \$λ\$-calculus in differential proof nets (extended version)},
  author = {Yann Hamdaoui},
  year = {2021},
  url = {https://arxiv.org/abs/2102.05736},
  note = {Source identifier: 2102.05736}
}