藤田 憲悦 | Department of Artificial Intelligence, Kyushu Institute of Technology

スポンサーリンク

概要

• 同名の論文著者
• Department of Artificial Intelligence, Kyushu Institute of Technologyの論文著者

関連著者

• 藤田 憲悦

  群馬大学大学院工学研究科

• 藤田 憲悦

  Department of Artificial Intelligence, Kyushu Institute of Technology

著作論文

• Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms

スポンサーリンク