Church's book is pretty irrelevent and unnecessary these days. If you want something theoretical about Lambda Calculus read Stoy. You certainly don't need anything more hairy than SICP to read Peyton-Jones.