À la recherche du papier LCF original de Scott

16

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.

reference-request lo.logic type-theory domain-theory Charles Stewart
la source
5
Avez-vous essayé de lui envoyer un e-mail? [email protected]
Tyson Williams
7
Dana lit ceci ...
Andrej Bauer

Réponses:

36

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
la source
17
C'est un genre spécial de génial quand l'auteur se présente pour répondre à une question!
Suresh Venkat
3
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
2
Et j'ai vu Gordon Plotkin passer devant la fenêtre du restaurant en Islande hier ....
Dave Clarke
4
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