Download the complete article:

@article{paolini04iandc,
  volume = {189},
  number = {1},
  month = feb,
  issn = {0890-5401},
  author = {Paolini, Luca and Ronchi Della Rocca, Simona},
  note = {Elsevier, Netherlands},
  url = {http://www.di.unito.it/~ronchi/papers/cr.ps},
  abstract = {A $\lambda$-calculus is defined, which is parametric with respect
              to a set $\Delta$ of input values and subsumes all the different
              $\lambda$-calculi given in the literature, in particular the
              classical one and the call-by-value $\lambda$-calculus of Plotkin.
              It is proved that it enjoy the confluence property, and a
              necessary and sufficient condition is given, under which it enjoys
              the standardization property. Its operational semantics is given
              through a reduction machine, parametric with respect to both
              $\Delta$ and a set $\Theta$ of output values. },
  title = {Parametric parameter passing lambda-calculus},
  tag = {Information and Computation},
  localfile = {http://www.di.unito.it/~paolini/papers/ppp04.pdf},
  pages = {87-106},
  year = 2004,
  journal = {Information and Computation},
}

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