Lambda-Calculus Combinators and Functional Programming

Originally Published In 1988 This Book Presents An Introduction To Lambda-Calculus And Combinators Without Getting Lost In The Details Of Mathematical Aspects Of Their Theory. Lambda-Calculus Is Treated Here As A Functional Language And Its Relevance To Computer Science Is Clearly Demonstrated. The Main Purpose Of The Book Is To Provide Computer Science Students And Researchers With A Firm Background In Lambda-Calculus And Combinators And Show The Applicabillity Of These Theories To Functional Programming. The Presentation Of The Material Is Self-Contained. It Can Be Used As A Primary Text For A Course On Functional Programming. It Can Also Be Used As A Supplementary Text For Courses On The Structure And Implementation Of Programming Languages Theory Of Computing Or Semantics Of Programming Languages.