Loading article…
計算可能関数の論理（LCF）は、 1969年にダナ・スコットによって1993年まで未発表だった覚書の中で提案された計算可能関数の演繹システムです。 [1]それは以下のものに影響を与えました。
- 計算可能関数の論理（LCF）、ロビン・ミルナーによる定理証明論理。[2]
- プログラミング計算可能関数（PCF）、ゴードン・プロトキンによる小さな理論プログラミング言語。[3]
参考文献
- ^ Dana S. Scott. 「ISWIM、CUCH、OWHY の型理論的代替」。Theoretical Computer Science、121 :411–440、1993 年。1969 年の原稿の注釈付きバージョン。
- ^ ロビン・ミルナー (1973)。「LCF のモデル」
- ^ Plotkin, Gordon D. (1977). 「プログラミング言語として考えられる LCF」(PDF) .理論計算機科学. 5 (3): 223–255. doi : 10.1016/0304-3975(77)90044-5 .