paolini11tcs (Article)
|
Author(s) | Luca Paolini, Elaine Pimentel and Simona Ronchi Della Rocca |
Title | « Strong Normalization from an unusual point of view » |
Journal | Theoretical Computer Science |
Volume | 412 |
Number | 20 |
Page(s) | 1903-1915 |
Year | 2011 |
Note | Elsevier, Netherlands |
Abstract |
A new complete characterization of -strong normalization is given, both in the classical and in th e lazy -calculus, through the notion of potential valuability inside two suitable parametric calculi. |
Download the complete article:
@article{paolini11tcs,
number = {20},
volume = {412},
author = {Paolini, Luca and Pimentel, Elaine and Ronchi Della Rocca, Simona},
note = {Elsevier, Netherlands},
abstract = {A new complete characterization of $\beta$-strong normalization is
given, both in the classical and in th e lazy $\lambda$-calculus,
through the notion of potential valuability inside two suitable
parametric calculi.},
localfile = {http://www.di.unito.it/~paolini/papers/SNunusual.pdf},
title = {Strong Normalization from an unusual point of view},
tag = {Theoretical Computer Science},
doi = {doi:10.1016/j.tcs.2010.12.01},
journal = {Theoretical Computer Science},
year = 2011,
pages = {1903-1915},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)