@misc{indiciaec121928db2bb,
  title = {An introduction to Differential Linear Logic: proof-nets, models and antiderivatives},
  author = {Thomas Ehrhard},
  year = {2016},
  url = {https://arxiv.org/abs/1606.01642},
  note = {Source identifier: 1606.01642}
}