Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Непрерывность и иррациональные числа \

9.6.4.7.4. Теория доменов Д. Скотта

Начало см. здесь.
9.6.4.7.4.1. Основополагающая статья      9.6.4.7.4.2. Области в денотационной семантике (Д. С. Скотт, 1982)