Шукаю оригінальну папір LCF від Скотта

Чи доступний наступний рукопис у публічному доступі?

Дана Скотт, 1969, Теорія обчислюваних функцій вищого типу . Неопубліковані конспекти семінару, 7 сторінок, Оксфордський університет.

Цей документ обговорюється в розділі 8.1.2, Типи як набори , у Cardone & Hindley, 2006 р. Історія обчислення лямбда та комбінаційної логіки ; Крім того, розділ 10.1 « Теорія домену» простежує до цього рукопису деякі найважливіші теоретичні погляди щодо порядку.

Опубліковано як:

Скотт, Д. Типова теоретична альтернатива ISWIM, CUCH, OWHY. Теоретичні інформатики, т. 121 (1993), стор 411 - 440.

Дивись також:

Скотт, Д. Деякі роздуми про Страчі та його твір. в: Спеціальний випуск, присвячений Крістоферу Страчі, під редакцією О. Данві та К. Талкотта. Порядок Хігера та символічні обчислення, т. 13 (2000), стор 103-114.

і:

Гордон Д. Плоткін, Набір-теоретичні та інші елементарні моделі λ-обчислення, Теоретична інформатика, т. 121 (1993), стор 351-409.