藤田 憲悦 | 群馬大学大学院工学研究科
スポンサーリンク
概要
関連著者
-
藤田 憲悦
群馬大学大学院工学研究科
-
藤田 憲悦
群馬大学
-
藤田 憲悦
島根大学総合理工学部数理情報システム学科
-
長谷川 真人
京都大学数理解析研究所
-
長谷川 真人
京都大学
-
Middeldorp Aart
筑波大学電子・情報工学系
-
倉田 俊彦
法政大学経営学部
-
藤田 憲悦
群馬大学工学部
-
藤田 憲悦
Department of Artificial Intelligence, Kyushu Institute of Technology
-
藤田 憲悦
Kyushu Institute of Technology, Department of Artificial Intelligence
-
藤田 憲悦
島根大学総合理工学部数理・情報システム学科
著作論文
- A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory)
- 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性 (形式体系と計算理論)
- CPS-translation as adjoint: extended abstract (算術体系の証明論--RIMS共同研究報告集)
- Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)
- 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)
- A sound and complete CPS-translation for $\lambda\mu$-calculus : Extended abstract (Algebra, Languages and Computation)
- $\gamma$-Calculus with Lazy Lists : Extended abstract (Algorithms in Algebraic Systems and Computation Theory)
- Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)
- Strong Normalization of Pure $\mathit{GL}_w$-$\lambda\mu$-Terms
- Calculus of Classical Proofs from Programming Viewpoint(New Aspects in Non-Classical Logics and Their Kripke Semantics)