7 citations · 45 across the 22 of their papers we have counts for
1 paper · 1 filter
Koko Muroya, Dan R. Ghica
In implementing evaluation strategies of the lambda-calculus, both correctness and efficiency of implementation are valid concerns. While the notion of correctness is determined by…