স্কটের আসল এলসিএফ পেপার সন্ধান করা

Question

নিম্নলিখিত পাণ্ডুলিপিটি কি প্রকাশ্যে পাওয়া যায়?

ডানা স্কট, 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

লেখক যখন তারা কোনও প্রশ্নের উত্তর দেওয়ার জন্য দেখায় তখন এটি এক বিশেষ ধরণের দুর্দান্ত!

— সুরেশ ভেঙ্কট

বিশেষত যখন লেখক ডানা স্কট হয়। :)

— কাভেঃ

সিস্টিওরিতে প্রথম টুরিং অ্যাওয়ার্ড বিজয়ী, বা আমি কাউকে মিস করছি?

— সাশো নিকোলভ

এবং আমি গর্ডন প্লটকিনকে গতকাল আইসল্যান্ডের রেস্তোঁরাটির জানালার পাশ দিয়ে হাঁটতে দেখেছি ....

— ডেভ ক্লার্ক

ঠিক আছে, এটি দুর্দান্ত এবং আপনাকে ধন্যবাদ - আমি ধরে নিলাম এই উত্তর পাওয়ার জন্য আমারও আন্দ্রেজকে ধন্যবাদ জানানো উচিত। আরও একটি প্রশ্ন: দুটি 1969 শিরোনাম সত্যই একটি অপরিবর্তনীয় পাণ্ডুলিপি বোঝাতে ব্যবহৃত হয়? জন লংলি, ২০১০, উচ্চতর প্রকারের গণনার ধারণাগুলি , কাগজটিকে pages পৃষ্ঠার দীর্ঘ হিসাবে বর্ণনা করে, ১৯৯৩ সালের কাগজের ১৯69৯ অংশের ওজন কেবল ২ 26 পৃষ্ঠার নীচে।

— চার্লস স্টুয়ার্ট