Что из перечисленного является этапом развития теории типов?

Что из перечисленного является этапом развития комбинаторной логики?

Что из перечисленного является этапом развития ламбда-исчисления?

Как осуществляется приписывание типа в теории типов?

Что из перечисленного является формализацией КАМ?

Что из перечисленного является формализацией рекурсии?

Что из перечисленного является формализацией синтаксиса?

Что из перечисленного является формализацией семантики?

Что из перечисленного является синонимом "ленивых" вычислений?

Что из перечисленного является формализацией для абстрактной машины?

Каковы основные компоненты формальной теории?