Functional Programming and the Lambda Calculus
Our first lecture is about the lambda calculus, which many of you are familiar with from your previous semantics course.
Our first lecture is about the lambda calculus, which many of you are familiar with from your previous semantics course.