2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…