|
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 » |
| 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:
| 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 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)
