1971, Scott & Strachey, Toward a Mathematical Semantics for Computer Languages (Technical Report)
   скачивается .pdf из web.archive.org
Cv/ nfr;t
«в 1969 г. Скотт построил модели λ-исчисления, урезав Х→Х до множества непрерывных (в надлежащей топологии) функций на Х. Только после этого стало понятно, как строить денотационную семантику языков программирования. Это произошло благодаря тому, что методом Скотта можно также придать смысл двум важным конструкциям языков программирования — рекурсии (наименьшие неподвижные точки) и типам данных (целые числа, списки, массивы и т. д.).»

См. также:
1972-1976, Scott D., Data types as lattices

Ранее по теме:
Массив

Отредактировано Лис (2024-08-13 21:33:45)