There are many lambda calculi. THE lambda calculus refers to the original lambda calculus as defined by Church.