Lambda-calculus, combinators, and functional programming by Révész, György E. fromCambridge tracts in theoretical computer science 0 Type: Book