チャーチのラムダ計算のBCK論理による再生

著者

• 古森, 雄一 コモリ, ユウイチ

書誌事項

チャーチのラムダ計算のBCK論理による再生

研究代表者 古森雄一

（科学研究費補助金(基盤研究C)研究成果報告書, 平成15年度〜18年度）

[千葉大学], 2007.3

タイトル読み

チャーチ ノ ラムダ ケイサン ノ BCK ロンリ ニヨル サイセイ

注記

課題番号: 15540107

研究分担者: 辻尚史, 櫻井貴文, 山本光晴, 多田充, 廣川佐千男, 藤田憲悦, 鹿島亮, 永山操

研究協力者: Agata Ciabattoni

片面印刷

詳細情報

• NII書誌ID(NCID): BA82983445
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpneng
• 出版地: [千葉]
• ページ数/冊数: viii, 48p
• 大きさ: 30cm
• 親書誌ID:
  • BA30764121