@misc{indiciaeb0fc7b69f73d,
  title = {Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference},
  author = {Luca Roversi},
  year = {2011},
  url = {https://arxiv.org/abs/1011.3668},
  note = {Source identifier: 1011.3668}
}