Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655874 | Electronic Notes in Theoretical Computer Science | 2005 | 14 Pages |
Abstract
In fact, it turns out that the class of lazy strongly β-normalizing terms coincides with that of call-by-value potentially valuable terms. This last class is of particular interest since it is a key notion for characterizing solvability in the call-by-value setting.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca,