Email Record: An introduction to Lambda Calculi for computer scientists. Volume 2 /