6 citations · 8 across the 8 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…