Лямбда-вычислимость

Вспомним, машина Тьюринга оказала большое влияние на разработку компьютеров архитектуры фон Неймана.

Аналогично, λ-исчисление, сформулированное задолго до появления электронных компьютеров, оказало значительное влияние на эволюцию функциональных языков.