В каком случае переменная x называется свободной в терме λx.A?
Какой тип имеет функция из int в bool?
Какие действия выполняет инструкция push?
Какие действия выполняет инструкция swap?
Какой функции соответствует аксиома Ix=x?
Какой функции соответствует аксиома Кxу=x?
При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?