Enough Lambda Calculus!
We will return to the Lambda Calculus later in the course:
- to see how it can be used in the implementation of a high-level programming language
- 3C11 only: to investigate recursion
Next week we will look at how to program in a high-level (functional) language based on the lambda calculus - Miranda