プログラミングにおける型理論の研究

閲覧数: 4
ダウンロード数: 0
このエントリーをはてなブックマークに追加

プログラミングにおける型理論の研究

フォーマット:
助成・補助金
Kyushu Univ. Production 九州大学成果文献
責任表示:
広川 佐千男(九州大学・教養部・助教授)
本文言語:
日本語
研究期間:
1991
本文を見る

類似資料:

7
プログラミングにおける帰納的技法 by Barron, D. W.; 岸田, 孝一
2
構成的論理の推論構造の研究 by 廣川 佐千男; HIROKAWA Sachio; 広川 佐千男
11
数理統計学 : 正規型理論に基礎をおいて by 河田, 龍夫; 川田, 孝行; Berman, Simeon M.
2.
構成的論理の推論構造の研究 by 廣川 佐千男; HIROKAWA Sachio; 広川 佐千男
7.
プログラミングにおける帰納的技法 by Barron, D. W.; 岸田, 孝一
11.
数理統計学 : 正規型理論に基礎をおいて by 河田, 龍夫; 川田, 孝行; Berman, Simeon M.