藤田 憲悦 | 島根大学総合理工学部数理・情報システム学科

スポンサーリンク

概要

• 藤田 憲悦の詳細を見る
• 同名の論文著者
• 島根大学総合理工学部数理・情報システム学科の論文著者

関連著者

• 藤田 憲悦

  島根大学総合理工学部数理情報システム学科

• 藤田 憲悦

  島根大学総合理工学部数理・情報システム学科

• 藤田 憲悦

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

• Middeldorp Aart

  筑波大学電子・情報工学系

著作論文

• λμ計算のモデルについて
• An Injective CPS-translation for the Extensional λ-calculus
• 安全な動的型と分散プロクラミング
• Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)

スポンサーリンク