Procurando o documento LCF original de Scott

16

O manuscrito a seguir está disponível publicamente?

Dana Scott, 1969, uma teoria das funções computáveis ​​do tipo superior . Notas não publicadas do seminário, 7 páginas, University of Oxford.

Há uma discussão deste artigo na seção 8.1.2, Tipos como conjuntos , em Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; Além disso, a seção 10.1, Teoria do domínio , remonta a este manuscrito algumas idéias cruciais da teoria da ordem.

reference-request lo.logic type-theory domain-theory Charles Stewart
fonte
5
Você tentou enviar um email para ele? [email protected]
Tyson Williams
7
Dana está lendo este ...
Andrej Bauer

Respostas:

36

Publicado como:

Scott, D. Uma alternativa teórica para ISWIM, CUCH, OWHY. Ciência da Computação Teórica, vol. 121 (1993), pp. 411 - 440.

Veja também:

Scott, D. Algumas reflexões sobre Strachey e seu trabalho. em: Uma edição especial dedicada a Christopher Strachey, editado por O. Danvy e C. Talcott. Ordem Higer e computação simbólica, vol. 13 (2000), pp. 103-114.

e:

Gordon D. Plotkin, modelos teóricos e outros elementos elementares do cálculo λ, Theoretical Computer Science, vol. 121 (1993), pp. 351-409.

Dana Scott
fonte
17
É um tipo especial de incrível quando o próprio autor aparece para responder a uma pergunta!
Suresh Venkat
3
Especialmente quando o autor é Dana Scott. :)
Kaveh
primeiro vencedor do prêmio Turing em cstheory, ou estou sentindo falta de alguém?
Sasho Nikolov
2
E vi Gordon Plotkin curta passado a janela de restaurante na Islândia ontem ....
Dave Clarke
4
Bem, isso é maravilhoso e obrigado - presumo que devo agradecer a Andrej também por receber esta resposta. Uma outra pergunta: os dois títulos de 1969 são realmente usados ​​para denotar um manuscrito imutável? John Longley, 2010, Noções de computabilidade em tipos mais elevados I , descreve o artigo com 7 páginas, enquanto as partes de 1969 do artigo de 1993 pesam pouco menos de 26 páginas.
Charles Stewart