лямбда-исчисление

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

Значение

формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости

Гиперонимы

Перевод на английский язык

lambda calculus

Слова и термины с близкими буквами