Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 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 $\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.

 BibTeX code

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

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)