2006 | OriginalPaper | Buchkapitel
An Operational Characterization of Strong Normalization
verfasst von : Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Erschienen in: Foundations of Software Science and Computation Structures
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper introduces the Φ-calculus, a new call-by-value version of the
λ
-calculus, following the spirit of Plotkin’s
λβ
v
-calculus. The Φ-calculus satisfies some interesting properties, in particular that its set of solvable terms coincides with the set of
β
-strongly normalizing terms in the classical
λ
-calculus.