Play audio slide show -- Keyboard shortcut: 'x'  Lecture overview -- Keyboard shortcut: 'u'  Previous page: The <kbd>let</kbd> name binding expression -- Keyboard shortcut: 'p'  Next page: Examples with  <kbd>let</kbd>  name binding -- 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      Name binding, Recursion, Iteration, and Continuations - slide 3 : 42

The equivalent meaning of let
We will here understand the underlying, equivalent form of a let name binding construct
(let ((n1 e1)
      ...
      (nk ek))
  body-expr)
((lambda (n1 ... nk) body-expr)
   e1 ... ek)