See also the answers to [Resources for learning practical category theory](http://mathoverflow.net/questions/903/resources-for-learning-practical-category-theory)
and [What is λ-calculus related to?](http://mathoverflow.net/questions/983/what-is-lambda-calculus-related-to)