лям-бда-ис-чис-лени·е
Существительное, неодушевлённое, средний род, 2-е склонение (тип склонения 7a по классификации А. А. Зализняка).
Корень: --.
формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости
Источник: ru.wiktionary.orglambda calculus