I have some background in set theory and automata and I am looking for a good place to start with lambda calculus.



What is some good introduction to lambda calculus?
There is, of course, the very famous book by Barendregt, 


* The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition, North-Holland, 1985. [(link to vendor)](http://rads.stackoverflow.com/amzn/click/0444875085)


which doesn't require much background except for the usual mathematical maturity. This is mostly about the *untyped* lambda calculus. He also has some introductory notes [here](ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf). 


