User: Pourquoi le calcul de Lambda?
Assistant: Il a été nommé d'après la lettre grecque lambda, qui est utilisé pour désigner la fonction f(x) = x + a. Le calcul Lambda est un système formel qui décrit le comportement des fonctions d'une manière mathématique.