Book: Introduction to Lambda Calculus by Henk Barendregt and Erik Barendsen
It briefly explains the foundation of Lambda Calculus. The descriptions are mathematically heavy. Som...
Tags: functional, lambda, math, science