Лямбда-обчислення (λ-числення) – формальна система, розроблена американським математиком Алонзо Черчем для формалізації та аналізу поняття обчислюваності.
Мовлення Цінителя
Лямбда-обчислення (λ-числення) – формальна система, розроблена американським математиком Алонзо Черчем для формалізації та аналізу поняття обчислюваності.