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

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

Источник: статья «лямбда-исчисление» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.