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

 paolini04iandc (Article) Author(s) Luca Paolini and Simona Ronchi Della Rocca Title « Parametric parameter passing lambda-calculus » Journal Information and Computation Volume 189 Number 1 Page(s) 87-106 Year 2004 ISSN number 0890-5401 URL http://www.di.unito.it/~ronchi/papers/cr.ps Note Elsevier, Netherlands
 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.

 BibTeX code

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

 Formal Methods in Computing(Most of the papers antecedent to 1995are 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)