This is a course in classical lambda calculus with special emphasis on syntax. Topics covered include the Church-Rosser theorem, standardization, cofinal reduction strategies, lambda definability of number theoretic functions, combinators, Bohm's theorem, labelled reduction, and types.
