@misc{indiciaefd20c66c2e5b,
  title = {Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics},
  author = {Matteo Acclavio},
  year = {2017},
  doi = {10.1007/s10817-018-9466-4},
  url = {https://arxiv.org/abs/1702.00268},
  note = {Source identifier: 1702.00268}
}