Последовательно и параллельно вычислимые функционалы

Предлагается подход к общему определению вычислимости в модели $D$ для $\lambda$-исчисления без типов, введенной Д. Скоттом, позволяющий классифицировать функционалы в $D$ как комбинаторные, последовательные и параллельные. Приводится аксиоматическое описание модели $D$, основанное на теории $f$-пространств, предложенных Ю. Л. Ершовым. Основной результат: доказывается гомоморфность интерпретации $\mathscr{V}\colon P\to D$ некоторого универсального исчисления $P$ в модели $D$ относительно имеющихся в $P$ и $D$ естественных операций аппликации (“умножения”).