paolini06fossacs (In proceedings)

Author(s)  Luca Paolini, Elaine Pimentel and Simona Ronchi Della Rocca 
Title  « An Operational Characterization of Strong Normalization » 
In  Proceedings of 9th International Conference on Foundations of Software Science and Computation Structures  FOSSACS 2006, Held as Part of the European Joint Conferences on Theory and Practice of Software 2006 
Series  Lecture Notes in Computer Science 
Editor(s)  Luca Aceto and Anna Ingólfsdóttir 
Volume  3921 
Page(s)  367381 
Year  2006 
Publisher  Springer, Germany 
ISBN number  3540330453 
ISSN number  03029743 
Abstract 
The paper introduces the $\Phi $calculus, a new callbyvalue version of $\lambda $calculus, following the spirit of Plotkin's $\lambda \beta $_{v}calculus. Such a language satisfies some properties, in particular the set of solvable terms in it coincides with the set of $\beta $strongly normalizing terms in the classical $\lambda $calculus. 
Download the complete article:
@inproceedings{paolini06fossacs,
volume = {3921},
issn = {03029743},
author = {Paolini, Luca and Pimentel, Elaine and Ronchi Della Rocca, Simona},
series = {Lecture Notes in Computer Science},
booktitle = {Proceedings of 9th International Conference on Foundations of
Software Science and Computation Structures  FOSSACS 2006, Held
as Part of the European Joint Conferences on Theory and Practice
of Software 2006},
editor = {Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir},
exaddress = {Vienna, Austria},
tag = {FOSSACS 2006},
abstract = {The paper introduces the $\Phi$calculus, a new callbyvalue
version of $\lambda$calculus, following the spirit of Plotkin's
$\lambda\beta_{v}$calculus. Such a language satisfies some
properties, in particular the set of solvable terms in it
coincides with the set of $\beta$strongly normalizing terms in
the classical $\lambda$calculus.},
localfile = {http://www.di.unito.it/~paolini/papers/bsn.pdf},
isbn = {3540330453},
title = {An Operational Characterization of Strong Normalization},
publisher = {Springer, Germany},
pages = {367381},
year = 2006,
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)