Функциональное программирование

В чем преимущества лямбда-исчисления как модели вычислений?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

на базе лямбда-исчисления просто построить язык программирования(Верный ответ)

в лямбда-исчислении хорошо описывается различная семантика вызовов фунций(Верный ответ)

это формальная аксиоматическая система(Верный ответ)

оно соответствует тому, как происходят вычисления в компьютере

Похожие вопросы

Какие базовые операции чистого лямбда-исчисления?

Как правильно расставить скобки в выражении лямбда-исчисления, чтобы вычислить f(g(x))?

Какие есть основные модели вычислений?

Как определяют рекурсивные вычисления в лямбда-исчислении?

Какая модель вычислений служит формальной основой функционального программирования?

Чему равен результат выражения nondet { return 10; } для монады недетерминированных вычислений?