CSE P 505 Handouts

• Notes on the syntax, operational semantics, type system, and proofs of key properties for the simply-typed lambda calculus, by Todd Millstein