= Combinator A combinator is a lambda term with no <free variable>[free variables].
Back to article page