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

16

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

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

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

reference-request lo.logic type-theory domain-theory Чарльз Стюарт
источник
5
Вы пытались написать ему по электронной почте? dana.scott@cs.cmu.edu
Тайсон Уильямс
7
Дана читает это ...
Андрей Бауэр

Ответы:

36

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

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

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

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

и:

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

Дана Скотт
источник
17
Это особенный вид, когда автор сам появляется, чтобы ответить на вопрос!
Суреш Венкат
3
Особенно, когда автором является Дана Скотт. :)
Каве
первый обладатель премии Тьюринга по cstheory, или я скучаю по кому-то?
Сашо Николов
2
И я вчера видел, как Гордон Плоткин проходил мимо окна ресторана в Исландии ...
Дэйв Кларк
4
Что ж, это замечательно, и спасибо. Полагаю, мне следует поблагодарить и Андрея за этот ответ. Еще один вопрос: действительно ли два названия 1969 года используются для обозначения одной неизменной рукописи? Джон Лонгли, 2010, « Понятия вычислимости для более высоких типов I» , описывает бумагу длиной 7 страниц, в то время как части статьи 1969 года 1993 года весят чуть менее 26 страниц.
Чарльз Стюарт