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)