TY  - RPRT
TI  - Linear lambda Calculus with Explicit Substitutions as Proof-Search in Deep Inference
AU  - Luca Roversi
PY  - 2011
UR  - https://arxiv.org/abs/1011.3668
ID  - 1011.3668
ER  -