Buscando el papel LCF original de Scott

¿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.

— Charles Stewart
fuente

¿Intentaste enviarle un correo electrónico? dana.scott@cs.cmu.edu

— Tyson Williams

Dana está leyendo esto ...

— Andrej Bauer

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.

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

¡Es un tipo especial increíble cuando el autor aparece para responder una pregunta!

— Suresh Venkat

Especialmente cuando el autor es Dana Scott. :)

— Kaveh

primer ganador del premio Turing en teoría, ¿o me estoy perdiendo de alguien?

— Sasho Nikolov

Y vi a Gordon Plotkin caminando por la ventana del restaurante en Islandia ayer ...

— Dave Clarke

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