Your final case isn't specific to "lambda calculus". In that sentence, you're using "lambda calculus" as a modifier for the general term "expressions", rather than referring to it on its own. Consider that you would say "There are three types of ceiling lights", but you would still say "the ceiling".