Лялецкий А. А. О некоторых свойствах теоретико-множественных моделей теории лямбда / А. А. Лялецкий // Мат. машини і системи. - 2008. - № 4. - С. 10-22. - Библиогр.: 8 назв. - рус.Исследована возможность построения теоретико-множественных моделей теории лямбда на базе понятий слабо и сильно непрерывной функции. Доказано, что отталкиваясь от понятия слабо непрерывной функции, нельзя построить модели теории лямбда с помощью метода Скотта, однако родственное ему понятие сильно непрерывной функции, наоборот, ведет к построению новых лямбда-алгебр и лямбда-моделей. Індекс рубрикатора НБУВ: В122 + В152.7
Рубрики:
Шифр НБУВ: Ж15664 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|