स्कॉट के मूल एलसीएफ पेपर की तलाश

Question

निम्नलिखित पांडुलिपि publically उपलब्ध है?

डाना स्कॉट, 1969, उच्च प्रकार के कम्प्यूटेशनल कार्यों का एक सिद्धांत । अप्रकाशित संगोष्ठी नोट्स, 7 पृष्ठ, ऑक्सफोर्ड विश्वविद्यालय।

इस पत्र की चर्चा 8.1.2 खंड में , कार्डोन और हिंडले में, 2006 के प्रकार , लैंबडा -कैलकुलस और कॉम्बिनेटर लॉजिक के इतिहास में की गई है ; इसके अतिरिक्त, 10.1, डोमेन सिद्धांत , इस पांडुलिपि में कुछ महत्वपूर्ण आदेश-सिद्धांत संबंधी अंतर्दृष्टि का उल्लेख करता है।

Comments

क्या आपने उसे ईमेल करने की कोशिश की? [e-mail]

— टायसन विलियम्स

दाना यह पढ़ रहा है ...

— बाउर

Answer 1

इस रूप में प्रकाशित:

स्कॉट, डी। एक प्रकार-सैद्धांतिक वैकल्पिक ISWIM, CUCH, OWHY। सैद्धांतिक कंप्यूटर विज्ञान, वॉल्यूम। 121 (1993), पीपी। 411 - 440।

यह सभी देखें:

स्कॉट, डी। स्ट्रैची एंड हिज़ वर्क पर कुछ विचार। में: एक विशेष मुद्दा क्रिस्टोफर स्ट्रेची को समर्पित, ओ। दानवी और सी। टैलकोट द्वारा संपादित। हेगर-ऑर्डर और सिम्बॉलिक कम्प्यूटेशन, वॉल्यूम। 13 (2000), पीपी 103-114।

तथा:

गॉर्डन डी। प्लॉटकिन, सेट-सैद्धांतिक और λ-पथरी के अन्य प्राथमिक मॉडल, सैद्धांतिक कंप्यूटर विज्ञान, वॉल्यूम। 121 (1993), पीपी। 351-409।

Comments

यह एक विशेष प्रकार का कमाल है जब लेखक एक सवाल का जवाब देने के लिए खुद को दिखाता है!

— सुरेश वेंकट

खासतौर पर तब जब लेखक डाना स्कॉट हो। :)

— केव

Cstheory पर पहला ट्यूरिंग पुरस्कार विजेता, या मैं किसी को याद कर रहा हूँ?

— साशो निकोलेव

और मैंने गॉर्डन प्लॉटकिन को कल आइसलैंड में रेस्तरां की खिड़की से चलते देखा। ....

— डेव क्लार्क

खैर, यह अद्भुत है और आपको धन्यवाद - मुझे लगता है कि मुझे इस उत्तर को प्राप्त करने के लिए साथ ही धन्यवाद देना चाहिए। एक और सवाल: क्या दो 1969 के शीर्षक वास्तव में एक अपरिवर्तनीय पांडुलिपि को निरूपित करने के लिए उपयोग किए जाते हैं? जॉन लोंगले, 2010, उच्चतर प्रकार की कम्प्यूटेबिलिटी I पर विचार , कागज का वर्णन 7 पृष्ठों लंबा है, जबकि 1993 के पेपर के 1969 भागों का वजन केवल 26 पृष्ठों के नीचे है।

— चार्ल्स स्टीवर्ट