You could try the book "Haskell programming from first principles", there's a good introduction to lambda calculus in chapter 1 or 2. Proceeding further in the

You could try the book "Haskell programming from first principles", there's a good introduction to lambda calculus in chapter 1 or 2. Proceeding further in the Haskell-land might help even more, since Haskell is essentially typed lambda calculus.