| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10334088 | Theoretical Computer Science | 2011 | 13 Pages |
Abstract
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca,