An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
Explore the foundations of functional programming through lambda calculus. Greg Michaelson’s introduction connects programming with mathematical ideas about functions and computation, offering readers a theoretical perspective on programming languages and the principles underlying functional programming.
About This Book
An Introduction to Functional Programming Through Lambda Calculus presents functional programming through the formal framework of lambda calculus.
The book connects programming concepts with mathematical ideas about functions, computation, and symbolic expression.
It is suited to readers seeking a foundational perspective on functional programming and its underlying theory.
Published as part of the Dover Books on Mathematics series, this work is by Greg Michaelson.
Reviews
No reviews yet. Be the first to review this book!