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.
reference-request
lo.logic
type-theory
domain-theory
Charles Stewart
źródło
źródło
Odpowiedzi:
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.
i:
Gordon D. Plotkin, Zbiór teoretyczny i inne podstawowe modele rachunku λ, Theoretical Computer Science, vol. 121 (1993), s. 351–409.
źródło