|
-
Ключові слова:
інтенсіональні моделі, интенсиональные модели ; лямбда-числення, лямбда-исчисление ; топологічна неперервність, топологическая непрерывность ; топологія, топология, topology ; частково впорядкована множина, частично упорядоченное множество
-
Теми документа
-
УДК // Алгебрологічні моделі. Теоретико-множинні моделі
-
УДК // Спеціальні типи неперервних відображень. Відкриті, замкнені відображення. Досконалі відображення. Монотонні відображення
-
УДК // Функціональні мови
|
