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 |
.ps ]
Back
This file has been generated by
bibtex2html 1.43