An Introduction to Functional Programming Through Lambda Calculus: Revised Edition
About the Book This book provides an to the theory of lambda calculus, a simple but foundational formalism used in computer science to study the semantics of programming languages and the foundations of logic. The...