@inproceedings{DBLP:journals/corr/Acclavio16,
  author        = {Matteo Acclavio},
  editor        = {Iliano Cervesato and Maribel Fern{\'{a}}ndez},
  title         = {Proof diagrams for multiplicative linear logic},
  booktitle     = {Proceedings Fourth International Workshop on Linearity, {LINEARITY} 2016, Porto, Portugal, 25 June 2016},
  series        = {{EPTCS}},
  volume        = {238},
  pages         = {11--23},
  year          = {2016},
  url           = {https://doi.org/10.4204/EPTCS.238.2},
  doi           = {10.4204/EPTCS.238.2},
  timestamp     = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl        = {https://dblp.org/rec/journals/corr/Acclavio16.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}