lambda calculi sept14
hr w10