CS 541 Lecture -*- Outline -*- for lambda-calculus lecture 1 * introduction * untyped-language * quiz * reduction * the-simply-typed-calculus * typed-quiz * equational-theory * set-function-models