RUS
ENG
Полная версия
ЖУРНАЛЫ
// Алгебра и логика
// Архив
Алгебра и логика,
1973
, том 12,
номер 4,
страницы
369–416
(Mi al1390)
Эта публикация цитируется в
7
статьях
Теория
$A$
-пространств
Ю. Л. Ершов
Аннотация:
Изложен рад основных свойств
$A$
-пространств — топологических пространств, возникающих при исследовании функционалов высших типов моделей
$\lambda$
-исчисления и семантики языков программирования. Решается также ряд проблем Д. Скотта.
УДК:
517.11
Поступило: 04.06.1973
Полный текст:
PDF файл (19206 kB)
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024