|
Алгебра и логика, 1976, том 15, номер 3, страницы 308–330
(Mi al1515)
|
|
|
|
О выразимости функционалов в языке Д. Скотта $LCF$
В. Ю. Сазонов
Аннотация:
Уточняется определение последовательно вычислимых функционалов на случай
конечных типов. Для каждого типа строится универсальный последовательный
функционал, выразимый в алгоритмическом языке Д. Скотта $LCF$. Отсюда
получается ответ на вопрос Д. Скотта: в языке $LCF$ выразимы все
эффективно-последовательные функционалы и только они.
Поступило: 22.10.1976
Образец цитирования:
В. Ю. Сазонов, “О выразимости функционалов в языке Д. Скотта $LCF$”, Алгебра и логика, 15:3 (1976), 308–330
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1515 https://www.mathnet.ru/rus/al/v15/i3/p308
|
|