Email Record: An introduction to lamba calculi for computer scientists /