• variables, abstractor λ, punctuation (,)

  
  • x   ∈  Λ

  • M   ∈  Λ ⇒ λx. M   ∈  Λ

  • M   ∈  Λ and N   ∈  Λ ⇒ M N   ∈  Λ

slide: The lambda calculus -- terms