В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
В каком направлении восстанавливаются скобки для абстракции в ламбда-исчислении?
Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
Сколько базисов комбинаторов существует в комбинаторной логике?
Какой вид имеет правая часть БНФ для аппликации SML-выражений?
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
В чем состоит основное назначение комбинаторной логики?
Что отличает аксиомы комбинаторной логики от прочих утверждений?
В чем состоит преимущество комбинаторной логики перед классической?
Что из перечисленного является этапом развития комбинаторной логики?