Strong normalization from an unusual point of view

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. Key words: strong normalization, call-by-value, parametric lambda calculus

• Type: Journal
• Year: 2011
• Where: TCS
• Authors: Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
• Keywords: Parametric Lambda Calculus, Strong Normalization, Suitable Parametric Calculi, TCS 2011, Theoretical Computer Science