Play audio slide show -- Keyboard shortcut: 'x'  Lecture overview -- Keyboard shortcut: 'u'  Previous page: The function concept -- Keyboard shortcut: 'p'  Next page: Functions in Scheme -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home      Expressions, 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)