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

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

В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?

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

Каким целям служит редукция в ламбда-исчислении?

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

Какой вид имеет правая часть БНФ для аппликации SML-выражений?

При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?

Что понимается под ламбда-исчислением?

Что отличает ламбда-исчисление от булевой логики?

В чем состоит основное назначение ламбда-исчисления?