Seeking Scott's original LCF paper

Question

Is the following manuscript publically available?

Dana Scott, 1969, A theory of computable functions of higher type. Unpublished seminar notes, 7 pages, University of Oxford.

There is a discussion of this paper in section 8.1.2, Types as sets, in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic; additionally section 10.1, Domain theory, traces back to this manuscript some crucial order-theoretic insights.

Did you try emailing him? dana.scott@cs.cmu.edu – Tyson Williams Jun 09 '11 at 22:05 — Tyson Williams, Jun 09 '11 at 22:05
Dana is reading this... – Andrej Bauer Jun 10 '11 at 16:55 — Andrej Bauer, Jun 10 '11 at 16:55

score 38 · Accepted Answer · answered Jun 10 '11 at 18:04

38

Published as:

Scott, D. A Type-Theoretical Alternative to ISWIM, CUCH, OWHY. Theoretical Computer Science, vol. 121 (1993), pp. 411 - 440.

See also:

Scott, D. Some Reflections on Strachey and his Work. in: A Special Issue Dedicated to Christopher Strachey, edited by O. Danvy and C. Talcott. Higer-Order and Symbolic Computation, vol. 13 (2000), pp. 103-114.

and:

Gordon D. Plotkin, Set-theoretical and other elementary models of the λ-calculus, Theoretical Computer Science, vol. 121 (1993), pp. 351-409.

answered Jun 10 '11 at 18:04

Dana Scott

396
3
2

17

It's a special kind of awesome when the author themself shows up to answer a question ! – Suresh Venkat Jun 10 '11 at 19:10
3

Especially when the author is Dana Scott. :) – Kaveh Jun 10 '11 at 20:27
first Turing award winner on cstheory, or am i missing someone? – Sasho Nikolov Jun 10 '11 at 20:38
2

And I saw Gordon Plotkin walking past the restaurant window in Iceland yesterday.... – Dave Clarke Jun 10 '11 at 21:16
I think I need to lie down ... – Vijay D Jun 10 '11 at 23:24
4

Well, this is wonderful and thank you - I assume I should thank Andrej as well for receiving this answer. A further question: are the two 1969 titles really used to denote one unchanging manuscript? John Longley, 2010, Notions of computability at higher types I, describes the paper as 7 pages long, while the 1969 parts of the 1993 paper weigh in at just under 26 pages. – Charles Stewart Jun 11 '11 at 12:41

Seeking Scott's original LCF paper

1 Answers1