archives

Lambda Calculus course (Oxford)

A sixteen-hour lecture course aimed at final-year computer science undergraduates and MSc students.

The course notes are detailed and include things like call-by-value LC, Boehm Theorem, and several interesting mini-projects for students.

By Ehud Lamm at 2006-03-19 13:13 | Lambda Calculus | login or register to post comments | other blogs | 8083 reads