ラムダ計算
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 1985-04-15
著者
関連論文
- 伝票処理アプリケーション構築環境におけるオブジェクト指向フレームワークの適用
- 伝票を用いたグループワーク構築環境の実装と業務構築における評価
- 帳票処理システムとそのアプリケーションモデル
- ソフトウェア科学会第5回大会
- 伝票を用いたオフィス業務の機能要素の分析と構成法
- 伝票を用いたオフィス業務構築のための枠組
- ラムダ計算
- 関数型言語の基本概念 (関数型プログラミングとその応用)
- ラムダ計算のカテゴリー論的モデルに基づいた計算体系 (関数型プログラミング)