Какой из типов можно определить рекурсивно?
Какие объекты могут определяться рекурсивно?
Какая операция называется каррированием?
Какая из формализаций адекватна для программирования?
Какая из формализаций является наиболее зрелой?
Какая из теорий не является формализацией семантики?
Какая формализация относится к операционным семантикам?
Какая формализация относится к денотационным семантикам?
Какая из теорий не является формализацией семантики?
Какая формализация абстрактных машин является зрелой?
