Procurando o documento LCF original de Scott

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.

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.