@inproceedings{Roversi:1992-ICTCS,
  month = {October},
  author = {Roversi, Luca},
  booktitle = {Theoretical Computer Science: Proceedings of the Fourth Italian
               Conference},
  abstract = {Given the lambda terms admitting Curry types as a source language,
              and considered the implicative fragment of the linear lambda terms
              as an object language, we define a compiler from the first to the
              second language exclusively driven by the structure of the proof
              which gives a type to a source program. The object (linear)
              program obtained can be evaluated by an extensive application of
              an eager-evaluation strategy.},
  title = {A compiler from {C}urry-typed $\lambda$-terms to
           linear-$\lambda$-terms},
  address = {L'Aquila (Italy)},
  publisher = {World Scientific},
  year = {1992},
  pages = {330 -- 344},
}

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