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