An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson Back to product details page >