An Introduction to Lambda Calculi for Computer Scientists (Texts in Computing)