Ich suche Scotts originales LCF-Papier

16

Ist das folgende Manuskript öffentlich verfügbar?

Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford.

In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; Zusätzlich führt Abschnitt 10.1, Domänentheorie , einige wichtige ordnungstheoretische Erkenntnisse auf dieses Manuskript zurück.

reference-request lo.logic type-theory domain-theory Charles Stewart
quelle
5
Hast du versucht, ihm eine E-Mail zu schicken? [email protected]
Tyson Williams
7
Dana liest dies ...
Andrej Bauer

Antworten:

36

Veröffentlicht als:

Scott, D. Eine typentheoretische Alternative zu ISWIM, CUCH, OWHY. Theoretical Computer Science, vol. 121 (1993), S. 411 - 440.

Siehe auch:

Scott, D. Einige Überlegungen zu Strachey und seiner Arbeit. in: Eine Sonderausgabe für Christopher Strachey, herausgegeben von O. Danvy und C. Talcott. Höherordnung und symbolische Berechnung, vol. 13 (2000), S. 103-114.

und:

Gordon D. Plotkin, Mengen-theoretische und andere elementare Modelle des λ-Kalküls, Theoretical Computer Science, vol. 121 (1993), S. 351-409.

Dana Scott
quelle
17
Es ist etwas ganz Besonderes, wenn der Autor selbst auftaucht, um eine Frage zu beantworten!
Suresh Venkat
3
Besonders wenn der Autor Dana Scott ist. :)
Kaveh
Erster Turing-Preisträger bei cstheory, oder vermisse ich jemanden?
Sasho Nikolov
2
Und ich habe Gordon Plotkin gestern in Island am Restaurantfenster vorbeigehen sehen ...
Dave Clarke
4
Nun, das ist wunderbar und danke - ich nehme an, ich sollte auch Andrej für die Antwort danken. Eine weitere Frage: Werden die beiden Titel von 1969 wirklich zur Bezeichnung eines unveränderlichen Manuskripts verwendet? John Longley, 2010, Begriffe der Berechenbarkeit bei höheren Typen I , beschreibt das Papier als 7 Seiten lang, während die 1969 Teile des 1993er Papiers knapp 26 Seiten wiegen.
Charles Stewart