**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. |

Download the complete article:

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

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)