Mencari kertas LCF asli Scott

16

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.

reference-request lo.logic type-theory domain-theory Charles Stewart
sumber
5
Apakah Anda mencoba mengirim email kepadanya? [email protected]
Tyson Williams
7
Dana membaca ini ...
Andrej Bauer

Jawaban:

36

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
17
Ini adalah jenis khusus yang luar biasa ketika penulis sendiri muncul untuk menjawab pertanyaan!
Suresh Venkat
3
Apalagi ketika penulisnya adalah Dana Scott. :)
Kaveh
pemenang penghargaan Turing pertama di cstheory, atau apakah saya kehilangan seseorang?
Sasho Nikolov
2
Dan saya melihat Gordon Plotkin berjalan melewati jendela restoran di Islandia kemarin ....
Dave Clarke
4
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