G. E. Revesz

• Lambda-Calculus, Combinators, and Functional Programming