81 citations · 102 across the 4 of their papers we have counts for
1 paper · 2 filters
William Blum
We introduce a method to evaluate untyped lambda terms by combining the theory of traversals, a term-tree traversing technique inspired from Game Semantics, with judicious use of t…