Ich suche Scotts originales LCF-Papier

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.

— Charles Stewart
quelle

Hast du versucht, ihm eine E-Mail zu schicken? dana.scott@cs.cmu.edu

— Tyson Williams

Dana liest dies ...

— Andrej Bauer

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

Es ist etwas ganz Besonderes, wenn der Autor selbst auftaucht, um eine Frage zu beantworten!

— Suresh Venkat

Besonders wenn der Autor Dana Scott ist. :)

— Kaveh

Erster Turing-Preisträger bei cstheory, oder vermisse ich jemanden?

— Sasho Nikolov

Und ich habe Gordon Plotkin gestern in Island am Restaurantfenster vorbeigehen sehen ...

— Dave Clarke

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