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 formalisme mathématique pour décrire le calcul, et il a été développé par Alonzo Church dans les années 1930.