Mencari kertas LCF asli Scott

Apakah naskah berikut tersedia untuk umum?

Dana Scott, 1969, Sebuah teori fungsi yang dikomputasi dari tipe yang lebih tinggi . Catatan seminar yang tidak diterbitkan, 7 halaman, University of Oxford.

Ada diskusi dari makalah ini di bagian 8.1.2, Jenis sebagai set , di Cardone & Hindley, 2006 Sejarah Lambda-calculus dan Combinatory Logic ; selain itu bagian 10.1, teori Domain , menelusuri kembali ke naskah ini beberapa wawasan orde-teoretis yang penting.

— Charles Stewart
sumber

Apakah Anda mencoba mengirim email kepadanya? dana.scott@cs.cmu.edu

— Tyson Williams

Dana membaca ini ...

— Andrej Bauer

Diterbitkan sebagai:

Scott, D. Alternatif Tipe-Teoritis untuk ISWIM, CUCH, OWHY. Ilmu Komputer Teoritis, vol. 121 (1993), hlm. 411 - 440.

Lihat juga:

Scott, D. Beberapa Refleksi tentang Strachey dan Karyanya. dalam: Masalah Khusus Didedikasikan untuk Christopher Strachey, diedit oleh O. Danvy dan C. Talcott. Higer-Order dan Komputasi Simbolik, vol. 13 (2000), hlm. 103-114.

dan:

Gordon D. Plotkin, Set-teoretis dan model-model dasar lainnya dari kalkulus-λ, Theoretical Computer Science, vol. 121 (1993), hlm. 351-409.

— Dana Scott
sumber

Ini adalah jenis khusus yang luar biasa ketika penulis sendiri muncul untuk menjawab pertanyaan!

— Suresh Venkat

Apalagi ketika penulisnya adalah Dana Scott. :)

— Kaveh

pemenang penghargaan Turing pertama di cstheory, atau apakah saya kehilangan seseorang?

— Sasho Nikolov

Dan saya melihat Gordon Plotkin berjalan melewati jendela restoran di Islandia kemarin ....

— Dave Clarke

Baiklah, ini luar biasa dan terima kasih - saya berasumsi saya juga harus berterima kasih kepada Andrej karena telah menerima jawaban ini. Pertanyaan selanjutnya: apakah kedua judul 1969 tersebut benar-benar digunakan untuk menunjukkan satu naskah yang tidak berubah? John Longley, 2010, Pengertian tentang kemampuan komputasi pada tipe I yang lebih tinggi , menggambarkan kertas itu sepanjang 7 halaman, sedangkan 1969 bagian kertas tahun 1993 memiliki berat hanya di bawah 26 halaman.

— Charles Stewart