Buscando el papel LCF original de Scott

16

¿Está disponible públicamente el siguiente manuscrito?

Dana Scott, 1969, Una teoría de funciones computables de tipo superior . Notas de seminario no publicadas, 7 páginas, Universidad de Oxford.

Hay una discusión sobre este artículo en la sección 8.1.2, Tipos como conjuntos , en Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; Además, la sección 10.1, Teoría del dominio , remonta a este manuscrito algunas ideas cruciales de la teoría del orden.

reference-request lo.logic type-theory domain-theory Charles Stewart
fuente
55
¿Intentaste enviarle un correo electrónico? [email protected]
Tyson Williams
77
Dana está leyendo esto ...
Andrej Bauer

Respuestas:

36

Publicado como:

Scott, D. Una alternativa teórica de tipo a ISWIM, CUCH, OWHY. Informática teórica, vol. 121 (1993), págs. 411-440.

Ver también:

Scott, D. Algunas reflexiones sobre Strachey y su obra. en: Un número especial dedicado a Christopher Strachey, editado por O. Danvy y C. Talcott. Orden superior y computación simbólica, vol. 13 (2000), págs. 103-114.

y:

Gordon D. Plotkin, Set-teórico y otros modelos elementales del cálculo λ, Theoretical Computer Science, vol. 121 (1993), págs. 351-409.

Dana Scott
fuente
17
¡Es un tipo especial increíble cuando el autor aparece para responder una pregunta!
Suresh Venkat
3
Especialmente cuando el autor es Dana Scott. :)
Kaveh
primer ganador del premio Turing en teoría, ¿o me estoy perdiendo de alguien?
Sasho Nikolov
2
Y vi a Gordon Plotkin caminando por la ventana del restaurante en Islandia ayer ...
Dave Clarke
44
Bueno, esto es maravilloso y gracias. Supongo que también debería agradecer a Andrej por recibir esta respuesta. Otra pregunta: ¿se utilizan realmente los dos títulos de 1969 para denotar un manuscrito inmutable? John Longley, 2010, Nociones de computabilidad en tipos superiores I , describe el documento como de 7 páginas, mientras que las partes de 1969 del documento de 1993 pesan poco menos de 26 páginas.
Charles Stewart