Какой функции соответствует аксиома Кxу=x?
Какой тип имеет функция из int в bool?
Необходимо ли наличие выражения после else в условном выражении if…then…else…?
В каком случае переменная x называется свободной в терме λx.A?
Какие действия выполняет инструкция swap?
Какие действия выполняет инструкция push?
Каково соотношение понятий функции в математике и программировании?
Какой тип семантики формализуется с помощью доменов?
Какой из объектов адекватно формализует рекурсию?
Какой из типов можно определить рекурсивно?