Tìm kiếm giấy LCF ban đầu của Scott

Là bản thảo sau đây có sẵn công khai?

Dana Scott, 1969, Một lý thuyết về các chức năng tính toán của loại cao hơn . Ghi chú hội thảo chưa được công bố, 7 trang, Đại học Oxford.

Có một cuộc thảo luận về bài viết này trong phần 8.1.2, Các loại như tập hợp , trong Cardone & Hindley, Lịch sử năm 2006 của Lambda-tính toán và Logic kết hợp ; ngoài ra phần 10.1, lý thuyết miền , dấu vết trở lại bản thảo này một số hiểu biết lý thuyết trật tự quan trọng.

— Charles Stewart
nguồn

Bạn đã thử gửi email cho anh ấy? dana.scott@cs.cmu.edu

— Tyson Williams

Dana đang đọc cái này ...

— Andrej Bauer

Xuất bản dưới dạng:

Scott, D. Một loại thay thế lý thuyết cho ISWIM, CUCH, OWHY. Khoa học máy tính lý thuyết, tập. 121 (1993), trang 411 - 440.

Xem thêm:

Scott, D. Một số phản ánh về Strachey và công việc của mình. trong: Một vấn đề đặc biệt dành riêng cho Christopher Strachey, được chỉnh sửa bởi O. Danvy và C. Talcott. Higer - Thứ tự và tính toán tượng trưng, tập. 13 (2000), trang 103-114.

và:

Gordon D. Plotkin, mô hình lý thuyết tập hợp và các mô hình cơ bản khác của tính toán calcul, Khoa học máy tính lý thuyết, tập. 121 (1993), trang 351-409.

— Dana Scott
nguồn

Đó là một loại tuyệt vời đặc biệt khi chính tác giả xuất hiện để trả lời một câu hỏi!

— Suresh Venkat

Đặc biệt khi tác giả là Dana Scott. :)

— Kaveh

người chiến thắng giải thưởng Turing đầu tiên trên cstheory, hay tôi đang nhớ ai đó?

— Sasho Nikolov

Và tôi thấy Gordon Plotkin đi ngang qua cửa sổ nhà hàng ở Iceland ngày hôm qua ....

— Dave Clarke

Chà, điều này thật tuyệt vời và cảm ơn bạn - Tôi cho rằng tôi cũng nên cảm ơn Andrej vì đã nhận được câu trả lời này. Một câu hỏi nữa: hai tiêu đề 1969 có thực sự được sử dụng để biểu thị một bản thảo không thay đổi? John Longley, 2010, Khái niệm về khả năng tính toán ở loại I cao hơn , mô tả bài báo dài 7 trang, trong khi phần 1969 của bài báo năm 1993 chỉ nặng dưới 26 trang.

— Charles Stewart