24 citations · 52 across the 9 of their papers we have counts for
1 paper · 2 filters
Ugo Dal Lago, Simone Martini
We prove that orthogonal constructor term rewrite systems and lambda-calculus with weak (i.e., no reduction is allowed under the scope of a lambda-abstraction) call-by-value reduct…