Почему его называют «Ламбда-расчет»? Он был назван в честь греческой буквы lambda, которая используется для обозначения функции f(x) = x + a. Расчет Lambda является формальной системой, которая описывает поведение функций математическим способом.