Poszukuję oryginalnego papieru LCF Scotta

Czy następujący manuskrypt jest publicznie dostępny?

Dana Scott, 1969, Teoria funkcji obliczeniowych wyższego typu . Niepublikowane notatki z seminarium, 7 stron, University of Oxford.

Omówienie tego artykułu znajduje się w rozdziale 8.1.2, Typy jako zbiory , w Cardone i Hindley, 2006 Historia rachunku Lambda i logiki kombinatorycznej ; dodatkowo rozdział 10.1, Teoria domen , prześledził w tym manuskrypcie niektóre kluczowe spostrzeżenia teoretyczne dotyczące porządku.

— Charles Stewart
źródło

Próbowałeś do niego wysłać e-mailem? dana.scott@cs.cmu.edu

— Tyson Williams

Dana czyta to ...

— Andrej Bauer,

Opublikowane jako:

Scott, D. Typ-teoretyczna alternatywa dla ISWIM, CUCH, OWHY. Informatyka teoretyczna, vol. 121 (1993), s. 411–440.

Zobacz też:

Scott, D. Kilka przemyśleń na temat Strachey i jego dzieła. w: Wydanie specjalne dedykowane Christopherowi Stracheyowi, pod redakcją O. Danvy i C. Talcott. Układ Higera i obliczenia symboliczne, vol. 13 (2000), s. 103–114.

Gordon D. Plotkin, Zbiór teoretyczny i inne podstawowe modele rachunku λ, Theoretical Computer Science, vol. 121 (1993), s. 351–409.

— Dana Scott
źródło

Jest to szczególny rodzaj niesamowity, gdy sam autor pojawia się, aby odpowiedzieć na pytanie!

— Suresh Venkat

Zwłaszcza, gdy autorką jest Dana Scott. :)

— Kaveh

pierwszy zdobywca nagrody Turinga na cstheory, czy tęsknię za kimś?

— Sasho Nikolov

I widziałem wczoraj Gordona Plotkina przechodzącego obok okna restauracji na Islandii ....

— Dave Clarke

Cóż, to jest wspaniałe i dziękuję - zakładam, że powinienem również podziękować Andrejowi za otrzymanie tej odpowiedzi. Kolejne pytanie: czy dwa tytuły z 1969 r. Są naprawdę używane do oznaczenia jednego niezmiennego rękopisu? John Longley, 2010, Pojęcie obliczalności w wyższych typach I , opisuje ten artykuł jako 7 stron, podczas gdy części z 1969 roku z 1993 r. Ważą nieco mniej niż 26 stron.

— Charles Stewart,