Alla ricerca della carta LCF originale di Scott

Il seguente manoscritto è disponibile pubblicamente?

Dana Scott, 1969, Una teoria delle funzioni calcolabili di tipo superiore . Note di seminario inedite, 7 pagine, Università di Oxford.

C'è una discussione di questo articolo nella sezione 8.1.2, Tipi come set , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; inoltre la sezione 10.1, Teoria dei domini , fa risalire a questo manoscritto alcune intuizioni teoriche dell'ordine.

— Charles Stewart
fonte

Hai provato a mandargli un'e-mail? dana.scott@cs.cmu.edu

— Tyson Williams

Dana sta leggendo questo ...

— Andrej Bauer il

Pubblicato come:

Scott, D. Un'alternativa teorica del tipo a ISWIM, CUCH, OWHY. Teorical Computer Science, vol. 121 (1993), pagg. 411 - 440.

Guarda anche:

Scott, D. Alcune riflessioni su Strachey e il suo lavoro. in: un numero speciale dedicato a Christopher Strachey, a cura di O. Danvy e C. Talcott. Ordine di Higer e calcolo simbolico, vol. 13 (2000), pagg. 103-114.

Gordon D. Plotkin, Set-teorico e altri modelli elementari del calcolo λ, Teoretical Computer Science, vol. 121 (1993), pagg. 351-409.

— Dana Scott
fonte

È un tipo speciale di fantastico quando l'autore stesso si presenta per rispondere a una domanda!

— Suresh Venkat,

Soprattutto quando l'autore è Dana Scott. :)

— Kaveh,

primo vincitore del premio Turing su cstheory o mi manca qualcuno?

— Sasho Nikolov,

E ieri ho visto Gordon Plotkin passare davanti alla finestra del ristorante in Islanda ....

— Dave Clarke,

Bene, questo è meraviglioso e grazie - suppongo che dovrei ringraziare anche Andrej per aver ricevuto questa risposta. Un'ulteriore domanda: i due titoli del 1969 sono davvero usati per indicare un manoscritto immutabile? John Longley, 2010, Nozioni di calcolabilità ai tipi superiori I , descrive il documento come lungo 7 pagine, mentre le parti del 1969 del 1969 pesano poco meno di 26 pagine.

— Charles Stewart,