21 citations · 21 across the 1 of their papers we have counts for
1 paper
Neil D. Jones, Nina Bohr
A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV (call-by-value). The ``size-change principle'' f…