• DOI:10.1016/J.IC.2003.08.003
Corpus ID: 30672715

Parametric parameter passing Lambda-calculus

@article{Paolini2004ParametricPP,
  title={Parametric parameter passing Lambda-calculus},
  author={Luca Paolini and S. Rocca},
  journal={Inf. Comput.},
  year={2004},
  volume={189},
  pages={87-106}
}

• Luca Paolini, S. Rocca
• Published 2004
• Computer Science, Mathematics
• Inf. Comput.

A λ-calculus is defined, which is parametric with respect to a set V of input values and subsumes all the different λ-calculi given in the literature, in particular the classical one and the call-by-value λ-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 Vo of… Expand

View via Publisher

di.unito.it

Save to Library

Create Alert

Cite

Launch Research Feed