## Luca Paolini and Simona Ronchi Della Rocca.
Parametric parameter passing lambda-calculus.
*Information and Computation*, 189(1):87-106, 2004.

A lambda-calculus is defined, which is parametric with
respect to a set V 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 V and a set W of output values.

[ bib |
http ]

Back

*This file has been generated by
bibtex2html 1.60*
>>> BackToHomePage(Protocollo) <<<