Stop show with sound -- Keyboard shortcut: 'x'  Next slide in show -- Keyboard shortcut: 'n'  1 minute, 38 secondsExpressions, Types, and Functions - slide 34 : 46

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)