paolini99tia (Article)

Author(s)  Luca Paolini and Simona Ronchi Della Rocca 
Title  « Callbyvalue Solvability » 
Journal  Theoretical Informatics and Applications 
Volume  33 
Number  6 
Page(s)  507534 
Year  1999 
ISSN number  09883754 
URL  http://www.di.unito.it/~ronchi/papers/solv.ps 
Note  RAIRO Series, EDPSciences, France 
RAIRO Series, EDPSciences
Abstract 
The notion of solvability in the callbyvalue $\lambda $calculus is defined and completely characterized, from both an operational and a logical point of view. The operational characterization is given through a reduction machine performing the classical $\beta $reduction according to an innermost strategy. In fact, it turns out that the callbyvalue reduction rule is too weak for capturing the solvability property of terms. The logical characterization is given through an intersection type assignment system, assigning types of a given shape to all and only the callbyvalue solvable terms. 
Download the complete article:
@article{paolini99tia,
number = {6},
volume = {33},
month = nov,
issn = {09883754},
author = {Paolini, Luca and Ronchi Della Rocca, Simona},
note = {RAIRO Series, EDPSciences, France},
url = {http://www.di.unito.it/~ronchi/papers/solv.ps},
abstract = {The notion of solvability in the callbyvalue $\lambda$calculus
is defined and completely characterized, from both an operational
and a logical point of view. The operational characterization is
given through a reduction machine performing the classical
$\beta$reduction according to an innermost strategy. In fact, it
turns out that the callbyvalue reduction rule is too weak for
capturing the solvability property of terms. The logical
characterization is given through an intersection type assignment
system, assigning types of a given shape to all and only the
callbyvalue solvable terms.},
tag = {Theoretical Informatics and Applications, RAIRO Series, EDPSciences},
localfile = {http://www.di.unito.it/~paolini/papers/cbv_solvability.pdf},
title = {Callbyvalue Solvability},
annote = {RAIRO Series, EDPSciences},
journal = {Theoretical Informatics and Applications},
pages = {507534},
year = {1999},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)