@misc{indiciaef50851de84b5,
  title = {An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets},
  author = {Jules Chouquet and Lionel Vaux Auclair},
  year = {2021},
  doi = {10.46298/lmcs-17(4:22)2021},
  url = {https://arxiv.org/abs/1902.05193},
  note = {Source identifier: 1902.05193}
}