RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1973, том 12, номер 4, страницы 369–416 (Mi al1390)

Эта публикация цитируется в 7 статьях

Теория $A$-пространств

Ю. Л. Ершов


Аннотация: Изложен рад основных свойств $A$-пространств — топологических пространств, возникающих при исследовании функционалов высших типов моделей $\lambda$-исчисления и семантики языков программирования. Решается также ряд проблем Д. Скотта.

УДК: 517.11

Поступило: 04.06.1973



Реферативные базы данных:


© МИАН, 2024