Исследована возможность построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции. Доказано, что отталкиваясь от понятия слабо непрерывной функции, нельзя построить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции, наоборот, ведет к построению новых лямбда-алгебр и лямбда-моделей.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"