21-805 Lambda Calculus

12 units, Carnegie Mellon University

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.

Prerequisites: none listed

Courseweave needs JavaScript to show sections, workloads and planning tools.