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