Lambda-calculus, Combinators and Functional Programming

Discover the foundational concepts of functional programming with Lambda-calculus, Combinators and Functional Programming by G. E. Revesz. Originally published in 1988 and reissued by Cambridge University Press in 2009, this insightful book spans 192 pages and serves as a comprehensive introduction to lambda-calculus and combinators. Revesz skillfully navigates the complexities of these topics, focusing on their practical applications rather than getting bogged down in intricate mathematical theories. By treating lambda-calculus as a functional language, the book highlights its significant relevance to the field of computer science. Whether you are a student, educator, or programming enthusiast, this book is an essential resource for understanding the principles that underpin modern programming languages. Enhance your knowledge and skills in symbolic and mathematical logic with this engaging and informative guide.