Scott'ın orijinal LCF kağıdını aramak

Aşağıdaki makale kamuya açık mı?

Dana Scott, 1969, Yüksek tip hesaplanabilir fonksiyonlar teorisi . Yayımlanmamış seminer notları, 7 sayfa, Oxford Üniversitesi.

Bu yazının bölüm 8.1.2, Set olarak türler , Cardone ve Hindley, 2006 Lambda hesabı ve Kombinasyon Mantığı Tarihi ; ayrıca Bölüm 10.1, Alan teorisi , bazı önemli düzen-teorik içgörüleri bu makaleye kadar uzanır.

— Charles Stewart
kaynak

Ona e-posta göndermeyi denedin mi? dana.scott@cs.cmu.edu

— Tyson Williams

Dana bunu okuyor ...

— Andrej Bauer

Yayınlanma tarihi:

Scott, D. ISWIM, CUCH, OWHY'ye Tip Teorik Bir Alternatif. Teorik Bilgisayar Bilimi, cilt. 121 (1993), s. 411-440.

Ayrıca bakınız:

Scott, D. Strachey ve Eserleri Üzerine Bazı Düşünceler. içinde: O. Danvy ve C. Talcott tarafından düzenlenen Christopher Strachey'e ithaf edilen özel bir sayı. Higer-Order ve Sembolik Hesaplama, cilt. 13 (2000), s. 103-114.

ve:

Gordon D. Plotkin, λ-hesabının Set-teorik ve diğer temel modelleri, Teorik Bilgisayar Bilimleri, cilt. 121 (1993), sayfa 351-409'da açıklanmaktadır.

— Dana Scott
kaynak

Yazar kendileri bir soruya cevap vermek için ortaya çıktığında özel bir harika!

— Suresh Venkat

Özellikle yazar Dana Scott olduğunda. :)

— Kaveh

ödül töreninde ilk Turing ödülünü kazanan mı yoksa birini mi özlüyorum?

— Sasho Nikolov

Ve Gordon Plotkin'in dün İzlanda'daki restoran penceresini geçtiğini gördüm ....

— Dave Clarke

Bu harika ve teşekkürler - Sanırım bu yanıtı aldığı için Andrej'e de teşekkür etmeliyim. Başka bir soru: iki 1969 başlığı gerçekten değişmeyen bir el yazmasını belirtmek için mi kullanılıyor? John Longley, 2010, I daha yüksek tiplerde hesaplanabilirlik kavramları , makaleyi 7 sayfa uzunluğunda tanımlarken, 1993 kağıdının 1969 kısmı 26 sayfanın hemen altındadır.

— Charles Stewart