An introduction to functional programming through Lambda calculus by Michaelson, Greg fromInternational computer science series 0 Type: Book
Lambda Calculus with Types by Barendregt, Henk, Dekkers, Wil, Statman, Richard fromPerspectives in logic 0 Type: Book
