Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Courses

21-805
Lambda Calculus
12 units

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. The text is Barendregt's The Lambda Calculus, North Holland 1984.