A combinator is a term of λ-calculus that has no free variables. Which of the following are combinators?

  1. λxy.x
  2. λxyz.xz (yz)
  3. λxy.yzx

(a) and (b) are combinators, but (c) is not, since z is a free variable.