|
Алгебра и логика, 1973, том 12, номер 4, страницы 369–416
(Mi al1390)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 8 статьях)
Теория $A$-пространств
Ю. Л. Ершов
Аннотация:
Изложен рад основных свойств $A$-пространств — топологических
пространств, возникающих при исследовании функционалов высших типов моделей
$\lambda$-исчисления и семантики языков программирования. Решается также
ряд проблем Д. Скотта.
Поступило: 04.06.1973
Образец цитирования:
Ю. Л. Ершов, “Теория $A$-пространств”, Алгебра и логика, 12:4 (1973), 369–416
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1390 https://www.mathnet.ru/rus/al/v12/i4/p369
|
Статистика просмотров: |
Страница аннотации: | 125 | PDF полного текста: | 63 | Список литературы: | 1 |
|