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

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

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

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

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

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

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

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

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

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

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