長谷川 真人 | 京都大学

スポンサーリンク

概要

• 長谷川 真人の詳細を見る
• 同名の論文著者
• 京都大学の論文著者

関連著者

• 長谷川 真人

  京都大学数理解析研究所

• 長谷川 真人

  京都大学

• 藤田 憲悦

  群馬大学

• 藤田 憲悦

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

著作論文

• A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)

スポンサーリンク