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. © 2010 Elsevier B.V. All rights reserved.
CITATION STYLE
Paolini, L., Pimentel, E., & Ronchi Della Rocca, S. (2011). Strong normalization from an unusual point of view. Theoretical Computer Science, 412(20), 1903–1915. https://doi.org/10.1016/j.tcs.2010.12.018
Mendeley helps you to discover research relevant for your work.