@misc{indiciae1f5297f24797,
  title = {Soft lambda-calculus: a language for polynomial time computation},
  author = {Patrick Baillot and Virgile Mogbil},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0312015},
  note = {Source identifier: cs/0312015}
}