An operational semantics for lambda-calculus normal order evaluation strategy

1:47 |