Alla ricerca della carta LCF originale di Scott


16

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.


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

7
Dana sta leggendo questo ...
Andrej Bauer il

Risposte:


36

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.

e:

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


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

3
Soprattutto quando l'autore è Dana Scott. :)
Kaveh,

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

2
E ieri ho visto Gordon Plotkin passare davanti alla finestra del ristorante in Islanda ....
Dave Clarke,

4
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,
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.