wiki-linki.ru - поиск статей википедии и связей между ними
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление, лямбда-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.