Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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 »
JournalTheoretical Computer Science
Volume412
Number20
Page(s)1903-1915
Year2011
NoteElsevier, 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: SNunusual.pdf

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


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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)

Valid HTML 4.01!