菊池 健太郎 | 東北大学電気通信研究所

スポンサーリンク

概要

• 同名の論文著者
• 東北大学電気通信研究所の論文著者

関連著者

• 菊池 健太郎

  東北大学電気通信研究所

著作論文

• On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

スポンサーリンク