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

Author(s)

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

Bibliographic Information

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

研究代表者 古森雄一

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

[千葉大学], 2007.3

Title Transcription

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

Note

課題番号: 15540107

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

研究協力者: Agata Ciabattoni

片面印刷

Details

• NCID: BA82983445
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [千葉]
• Pages/Volumes: viii, 48p
• Size: 30cm
• Parent Bibliography ID:
  • BA30764121