ค้นหากระดาษ LCF ดั้งเดิมของ Scott

บทความต่อไปนี้เผยแพร่สู่สาธารณะหรือไม่

ดาน่าสกอตต์ 1969 ทฤษฎีของฟังก์ชันคำนวณจากประเภทที่สูงขึ้น เอกสารสัมมนาไม่ได้เผยแพร่ 7 หน้า University of Oxford

มีการอภิปรายของบทความนี้ในหัวข้อ 8.1.2 ประเภทตามที่กำหนดไว้ใน Cardone & Hindley, 2006 ประวัติศาสตร์แลมบ์ดา - แคลคูลัสและ Combinatory Logic ; นอกจากนี้ในส่วนที่ 10.1 ทฤษฎีโดเมนร่องรอยกลับไปที่ต้นฉบับนี้มีข้อมูลเชิงลึกเชิงทฤษฎีที่สำคัญบางประการ

— Charles Stewart
แหล่งที่มา

คุณลองส่งอีเมลถึงเขาหรือไม่ dana.scott@cs.cmu.edu

— Tyson Williams

Dana กำลังอ่านข้อความนี้ ...

— Andrej Bauer

เผยแพร่เป็น:

Scott, D. ทางเลือกเชิงทฤษฎีประเภท ISWIM, CUCH, OWHY ภาควิชาวิทยาศาสตร์คอมพิวเตอร์ 121 (1993), pp. 411 - 440

ดูสิ่งนี้ด้วย:

Scott, D. ภาพสะท้อนบางอย่างเกี่ยวกับ Strachey และผลงานของเขา ใน: ฉบับพิเศษที่อุทิศให้กับ Christopher Strachey, แก้ไขโดย O. Danvy และ C. Talcott การคำนวณคำสั่งซื้อและสัญลักษณ์ที่เพิ่มขึ้น 13 (2000), หน้า 103-114

และ:

Gordon D. Plotkin, เซตทฤษฎีและโมเดลพื้นฐานอื่น ๆ ของ elementary-แคลคูลัส, วิทยาการคอมพิวเตอร์เชิงทฤษฎี, ฉบับที่ 5 121 (1993), pp. 351-409

— Dana Scott
แหล่งที่มา

มันยอดเยี่ยมมากชนิดพิเศษเมื่อผู้แต่งปรากฏตัวเพื่อตอบคำถาม!

— Suresh Venkat

โดยเฉพาะอย่างยิ่งเมื่อผู้เขียนคือ Dana Scott :)

— Kaveh

ผู้ชนะรางวัลทัวริงคนแรกใน cstheory หรือฉันคิดถึงใครบางคน?

— Sasho Nikolov

และฉันเห็น Gordon Plotkin เดินผ่านหน้าต่างร้านอาหารในไอซ์แลนด์เมื่อวานนี้ ....

— เดฟคลาร์ก

นี่มันวิเศษมากและขอบคุณ - ฉันคิดว่าฉันควรขอบคุณ Andrej เช่นกันสำหรับการรับคำตอบนี้ คำถามเพิ่มเติม: มีชื่อสองเล่มที่ใช้ในการเขียนต้นฉบับที่ไม่มีการเปลี่ยนแปลงหนึ่งเล่มหรือไม่? John Longley, 2010, แนวคิดเรื่องความสามารถในการคำนวณที่สูงกว่าประเภทที่ 1 , อธิบายว่ากระดาษมีความยาว 7 หน้าในขณะที่กระดาษ 2512 ส่วนของปี 1993 มีน้ำหนักเพียง 26 หน้า

— Charles Stewart