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