Ищу Скотта оригинальную бумагу LCF

Доступна ли следующая рукопись публично?

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

Эта статья обсуждается в разделе 8.1.2, Типы как множества , в Cardone & Hindley, 2006 История лямбда-исчисления и комбинаторной логики ; кроме того, в разделе 10.1, « Теория предметной области» , прослеживается до этой рукописи некоторые важные теоретические сведения о порядке.

— Чарльз Стюарт
источник

Вы пытались написать ему по электронной почте? dana.scott@cs.cmu.edu

— Тайсон Уильямс

Дана читает это ...

— Андрей Бауэр

Опубликовано как:

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

Смотрите также:

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

и:

Гордон Д. Плоткин, Теоретико-множественные и другие элементарные модели λ-исчисления, Теоретическая информатика, вып. 121 (1993), с. 351-409.

— Дана Скотт
источник

Это особенный вид, когда автор сам появляется, чтобы ответить на вопрос!

— Суреш Венкат

Особенно, когда автором является Дана Скотт. :)

— Каве

первый обладатель премии Тьюринга по cstheory, или я скучаю по кому-то?

— Сашо Николов

И я вчера видел, как Гордон Плоткин проходил мимо окна ресторана в Исландии ...

— Дэйв Кларк

Что ж, это замечательно, и спасибо. Полагаю, мне следует поблагодарить и Андрея за этот ответ. Еще один вопрос: действительно ли два названия 1969 года используются для обозначения одной неизменной рукописи? Джон Лонгли, 2010, « Понятия вычислимости для более высоких типов I» , описывает бумагу длиной 7 страниц, в то время как части статьи 1969 года 1993 года весят чуть менее 26 страниц.

— Чарльз Стюарт