О некоторых свойствах теоретико-множественных моделей теории лямбда

• Published in: Математичні машини і системи
• Date: 2008
• Main Author: Лялецкий, А.А.
• Format: Article
• Language: Russian
• Published: Інститут проблем математичних машин і систем НАН України 2008
• Subjects: Обчислювальні системи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/46821
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О некоторых свойствах теоретико-множественных моделей теории лямбда / А.А. Лялецкий // Мат. машини і системи. — 2008. — № 4. — С. 10-22. — Бібліогр.: 8 назв. — рос.

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