スコットのオリジナルLCF論文を求めて

次の原稿は公開されていますか？

Dana Scott、1969、高次型の計算可能な関数の理論。未公開のセミナーノート、7ページ、オックスフォード大学。

この論文については、Cardone＆Hindley、2006 History of Lambda-calculus and Combinatory Logicのセクション8.1.2、Types as setsに説明があります。さらにセクション10.1、ドメイン理論は、この原稿にいくつかの重要な秩序理論的洞察をたどります。

として公開：

スコット、D。ISWIM、CUCH、OWHYの型理論的代替。理論計算機科学、vol。121（1993）、pp。411-440。

こちらもご覧ください：

Scott、D。Stracheyと彼の作品に関するいくつかの考察。in：クリストファー・ストラチーに捧げられた特別な問題。O。ダンビーとC.タルコットによって編集されました。Higer-Order and Symbolic Computation、vol。13（2000）、pp。103-114。

そして：

Gordon D. Plotkin、集合計算およびその他のλ計算の基本モデル、Theoretical Computer Science、vol。121（1993）、351-409ページ。