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