@misc{indiciaec66dc99c74dc,
  title = {Linear Logic, the \$π\$-calculus, and their Metatheory: A Recipe for Proofs as Processes},
  author = {Fabrizio Montesi and Marco Peressotti},
  year = {2021},
  url = {https://arxiv.org/abs/2106.11818},
  note = {Source identifier: 2106.11818}
}