À la recherche du papier LCF original de Scott

Le manuscrit suivant est-il accessible au public?

Dana Scott, 1969, Une théorie des fonctions calculables de type supérieur . Notes de séminaire non publiées, 7 pages, Université d'Oxford.

Il y a une discussion de cet article dans la section 8.1.2, Types as sets , dans Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; en outre, la section 10.1, Théorie des domaines , retrace dans ce manuscrit certaines perspectives cruciales de la théorie des ordres.

— Charles Stewart
source

Avez-vous essayé de lui envoyer un e-mail? dana.scott@cs.cmu.edu

— Tyson Williams

Dana lit ceci ...

— Andrej Bauer

Publié en tant que:

Scott, D. Une alternative de type théorique à ISWIM, CUCH, OWHY. Informatique théorique, vol. 121 (1993), p. 411 - 440.

Voir également:

Scott, D. Quelques réflexions sur Strachey et son travail. dans: Un numéro spécial dédié à Christopher Strachey, édité par O. Danvy et C. Talcott. Ordre de Higer et calcul symbolique, vol. 13 (2000), pp. 103-114.

et:

Gordon D. Plotkin, Set-théorique et autres modèles élémentaires du λ-calcul, Théorie informatique, vol. 121 (1993), pp. 351-409.

— Dana Scott
source

C'est un genre spécial de génial quand l'auteur se présente pour répondre à une question!

— Suresh Venkat

Surtout quand l'auteur est Dana Scott. :)

— Kaveh

premier lauréat du prix Turing sur cstheory, ou me manque-t-il quelqu'un?

— Sasho Nikolov

Et j'ai vu Gordon Plotkin passer devant la fenêtre du restaurant en Islande hier ....

— Dave Clarke

Eh bien, c'est merveilleux et merci - je suppose que je devrais également remercier Andrej d'avoir reçu cette réponse. Une autre question: les deux titres de 1969 sont-ils vraiment utilisés pour désigner un manuscrit immuable? John Longley, 2010, Notions de calculabilité à des types supérieurs I , décrit le document comme 7 pages de long, tandis que les parties de 1969 du papier de 1993 pèsent à un peu moins de 26 pages.

— Charles Stewart