関数型言語の組合せ論的数え上げモデルとトレース
著者
書誌事項
関数型言語の組合せ論的数え上げモデルとトレース
長谷川立, 2007.5
- タイトル別名
-
平成17年度〜平成18年度科学研究費補助金(基盤研究(C))研究成果報告書
文部科学省科学研究費補助金(基盤研究(C))研究成果報告書
- タイトル読み
-
カンスウガタ ゲンゴ ノ クミアワセロンテキ カゾエアゲ モデル ト トレース
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号: 17540102
研究分担者: 長谷川真人
