hr lambda-calculi-sept14