@article{Laurent_2020,
    doi = {10.1016/j.tcs.2019.10.002},
    url = {https://doi.org/10.1016%2Fj.tcs.2019.10.002},
    year = {2020},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {813},
    pages = {117--142},
    author = {Olivier Laurent},
    title = {Polynomial time in untyped elementary linear logic},
    journal = {Theoretical Computer Science}
}

@article{Laurent_2020, doi = {10.1016/j.tcs.2019.10.002}, url = {https://doi.org/10.1016%2Fj.tcs.2019.10.002}, year = {2020}, month = {apr}, publisher = {Elsevier {BV}}, volume = {813}, pages = {117--142}, author = {Olivier Laurent}, title = {Polynomial time in untyped elementary linear logic}, journal = {Theoretical Computer Science} }