An Introduction to Lambada Calculi for Computer Scientists