The Lambda-Calculus, Typed and Untyped

Check this site regularly for announcements; visit the content page to access the slides and homework exercises.