most citedTermination of lambda-calculus with the extra Call-By-Value rule known as assoc

5 citations · 5 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2008★ 5 cited

Termination of lambda-calculus with the extra Call-By-Value rule known as assoc

Stéphane Lengrand

In this paper we prove that any lambda-term that is strongly normalising for beta-reduction is also strongly normalising for beta,assoc-reduction. assoc is a call-by-value rule tha…