[Rov10] Linear lambda calculus with explicit substitutions as proof-search in Deep Inference

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

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

BibTeX code

@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},
}

Chronological Overview

Type-Hierarchical Overview

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

FRAMES NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)