@Article{Laurent20a,
  author  = {Olivier Laurent},
  title   = {Polynomial Time in Untyped Elementary Linear Logic},
  journal = TCS,
  volume  = {813},
  pages   = {117--142}
  month   = apr,
  year    = {2020}
}