스캇의 오리지널 LCF 종이를 찾고

다음의 원고는 공개되어 있습니까?

Dana Scott, 1969, 더 높은 유형의 계산 가능한 기능 이론 . 미공개 세미나 노트, 7 페이지, 옥스포드 대학.

섹션 8.1.2에서 본 논문의 논의가, 유형 등의 세트 , 카르 도네 & 힌들리, 2006 년 람다 미적분과 조합 적 논리의 역사 ; 또한 10.1 절, 도메인 이론 (Domain Theory )은이 원고에서 몇 가지 중요한 순서 이론적 통찰을 되 찾는다.

— 찰스 스튜어트
소스

그에게 이메일을 보내려고 했습니까? dana.scott@cs.cmu.edu

— 타이슨 윌리엄스

Dana는 이것을 읽고 있습니다.

— Andrej Bauer

로 게시 :

Scott, D. ISWIM, CUCH, OWHY에 대한 형식 이론적 대안. 이론적 컴퓨터 과학, vol. 121 (1993), 411-440 쪽.

또한보십시오:

Scott, D. Strachey와 그의 작품에 대한 일부 고찰. 에서 : Christopher Strachey에 관한 특별 이슈, O. Danvy와 C. Talcott에 의해 편집 됨. 최대 주문 및 기호 계산, vol. 13 (2000), 103-114 쪽.

과:

Gordon D. Plotkin, λ- 미적분학, 이론적 컴퓨터 과학, vol. 121 (1993), 351-409 쪽.

— 다나 스콧
소스

저자 자신이 질문에 대답하기 위해 나타날 때 그것은 특별한 종류의 굉장합니다!

— Suresh Venkat

특히 저자가 Dana Scott 인 경우. :)

— Kaveh

cstheory의 첫 Turing 상 수상자입니까, 아니면 누군가를 놓치고 있습니까?

— Sasho Nikolov

고든 플롯 킨이 어제 아이슬란드의 식당 창을 지나가는 것을 보았습니다 ....

— Dave Clarke

글쎄, 이것은 훌륭하고 감사합니다-나는이 답변을받은 Andrej에게도 감사해야한다고 생각합니다. 추가 질문 : 1969 년 2 개의 제목이 하나의 변경되지 않은 원고를 나타내는 데 실제로 사용됩니까? John Longley, 2010, 상위 유형 I의 계산 성 개념은 용지를 7 페이지 길이로 설명하고 1993 용지의 1969 부분은 26 페이지 미만으로 무게가 줄어 듭니다.

— Charles Stewart