 Slide 12.1: The Lambda calculus
Slide 12.2: Concepts and examples
Slide 12.3: Syntax of the lambda calculus
Slide 12.4: Syntax of the lambda calculus (cont.)
Slide 12.5: Syntax of the lambda calculus (cont.)
Slide 12.6: Curried functions
Slide 12.7: Curried functions (cont.)
Slide 12.8: Lambda reduction
Slide 12.9: Substitution
Slide 12.10: β-reduction
Slide 12.11: Reduction strategies
Slide 12.12: Reduction strategies (cont.)
Slide 12.13: Declarations
Slide 12.14: Recursive functions
Slide 12.15: Recursive functions (cont.)
|