An introduction to lambda calculus [ - Ricci, Raven (Learning Press, 2014)
This book provides a comprehensive introduction to Lambda Calculus