5 citations · 8 across the 5 of their papers we have counts for
1 paper · 2 filters
Delia Kesner, Alejandro Ríos, Andrés Viso
We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection…