16
$\begingroup$

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.

$\endgroup$
2
  • 5
    $\begingroup$ Did you try emailing him? [email protected] $\endgroup$ Commented Jun 9, 2011 at 22:05
  • 8
    $\begingroup$ Dana is reading this... $\endgroup$ Commented Jun 10, 2011 at 16:55

1 Answer 1

38
$\begingroup$

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.

$\endgroup$
6
  • 17
    $\begingroup$ It's a special kind of awesome when the author themself shows up to answer a question ! $\endgroup$ Commented Jun 10, 2011 at 19:10
  • 3
    $\begingroup$ Especially when the author is Dana Scott. :) $\endgroup$
    – Kaveh
    Commented Jun 10, 2011 at 20:27
  • $\begingroup$ first Turing award winner on cstheory, or am i missing someone? $\endgroup$ Commented Jun 10, 2011 at 20:38
  • 2
    $\begingroup$ And I saw Gordon Plotkin walking past the restaurant window in Iceland yesterday.... $\endgroup$ Commented Jun 10, 2011 at 21:16
  • 4
    $\begingroup$ 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. $\endgroup$ Commented Jun 11, 2011 at 12:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.