古森 雄一 | 千葉大学理学研究科基盤理学専攻

スポンサーリンク

概要

• 同名の論文著者
• 千葉大学理学研究科基盤理学専攻の論文著者

関連著者

• 古森 雄一

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

• 山川 郁加

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

著作論文

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

スポンサーリンク