藤田 憲悦 | 群馬大学

スポンサーリンク

概要

• 同名の論文著者
• 群馬大学の論文著者

関連著者

• 藤田 憲悦

  群馬大学

• 藤田 憲悦

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

• 長谷川 真人

  京都大学数理解析研究所

• 長谷川 真人

  京都大学

著作論文

• A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)
• CPS-translation as adjoint: extended abstract (算術体系の証明論--RIMS共同研究報告集)
• Residuated mapping and CPS-translation : Extended abstract(Algebras, Languages, Computations and their Applications)
• Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems)

スポンサーリンク