• variables, abstractor λ, punctuation (,)

  
  • x \e Λ

  • M \e Λ = > λx. M \e Λ

  • M \e Λ and N \e Λ = > M N \e Λ


slide: The lambda calculus -- terms