ラムダ項の型付を用いた証明図の同等性の研究

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

ラムダ項の型付を用いた証明図の同等性の研究

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

類似資料:

2
構成的論理の推論構造の研究 by 廣川 佐千男; HIROKAWA Sachio; 広川 佐千男
3
LAMBDA-TERMS AS PROOFS by 廣川, 佐千男; HIROKAWA, S
2.
構成的論理の推論構造の研究 by 廣川 佐千男; HIROKAWA Sachio; 広川 佐千男
3.
LAMBDA-TERMS AS PROOFS by 廣川, 佐千男; HIROKAWA, S