Introduction to Functional Programming in Scheme
- slide 29 : 49
Lambda calculus
Lambda calculus is a more dense notation than the similar Scheme notation
Lambda calculus
Scheme
Abstraction
λ v . E
(lambda (v) E)
Combination
E1 E2
(E1 E2)
Foldoc: lambda calculus
Lambda calculus is covered in a later PP lecture
Scheme before lambda calculus