Какие основные операции в чистом λ-исчислении?
Как определяют рекурсивные вычисления в лямбда-исчислении?
При введении списков, как определяется функция отделения первого элемента hd?
Как определяется семантика рекурсивных функций?
Как определяется конструкция letrec?
Как определяется конструкция let?
Как определяется наименьшая неподвижная точка непрерывной функции f в соответствии с теоремой о неподвижной точке?
Как определяется множество значений для типа, описанного как type tree = {nil} + int X treeX tree?
Пусть геометрическое преобразование определяется функцией трансляции координат int*int → int*int. Мы хотим определить функцию сдвига translate : int*int, которая возвращался бы замыкание. Как это сделать?
Какое максимальное количество неподвижных точек может иметь функция?