**Roversi:2010-LLCexDI (Unpublished)
** |

Author(s) | Luca Roversi |

Title | « *Linear lambda calculus with explicit substitutions as proof-search in Deep Inference »* |

URL | http://arxiv.org/abs/1011.3668 |

```
@unpublished{Roversi:2010-LLCexDI,
month = {November},
url = {http://arxiv.org/abs/1011.3668},
title = {Linear lambda calculus with explicit substitutions as proof-search in
{Deep Inference}},
author = {Roversi, Luca},
year = {2010},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)