@misc{indiciae3f3ad325cc80,
  title = {\$\textbackslash{}unicode\{8523\}\$ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs},
  author = {Federico Aschieri and Francesco A. Genco},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03631},
  note = {Source identifier: 1907.03631}
}