ラムダ計算のカテゴリー論的モデルに基づいた計算体系 (<特集>関数型プログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
ラムダ計算のモデル理論の分野で研究されている代数系CCMに基づいた形式体系CCM計算を提案し,λ計算との関連を調べる.CCM計算はλ計算と同様な簡約規則から成り立ち,計算列が定義できる.λ計算のモデルは本質的にCCMと同じであることが知られているが,この論文では,CCM計算の簡約とλ計算の簡約が同等であることを示す.応用として,CCM計算のChurch-Rosser性を証明する.また,引数付きCCM計算および引数付きλ計算と呼ぶ体系を導入して,プログラミング言語との関連を明確にする.
- 一般社団法人日本ソフトウェア科学会の論文
- 1987-10-15
著者
関連論文
- 伝票処理アプリケーション構築環境におけるオブジェクト指向フレームワークの適用
- 伝票を用いたグループワーク構築環境の実装と業務構築における評価
- 帳票処理システムとそのアプリケーションモデル
- 伝票を用いたオフィス業務の機能要素の分析と構成法
- 伝票を用いたオフィス業務構築のための枠組
- ラムダ計算
- 関数型言語の基本概念 (関数型プログラミングとその応用)
- ラムダ計算のカテゴリー論的モデルに基づいた計算体系 (関数型プログラミング)