ラムダ計算と組み合わせ論理の体系C$\lambda$$I_\lambda$ (証明論と複雑性)

スポンサーリンク

概要

• 論文の詳細を見る
• 2013-04-00

著者

• 古森 雄一

  千葉大学理学研究科基盤理学専攻

• 山川 郁加

  千葉大学理学研究科基盤理学専攻

関連論文

• ラムダ計算と組み合わせ論理の体系C$\lambda$$I_\lambda$ (証明論と複雑性)

スポンサーリンク