藤田 憲悦 | 島根大学総合理工学部数理情報システム学科
スポンサーリンク
概要
関連著者
-
藤田 憲悦
島根大学総合理工学部数理情報システム学科
-
藤田 憲悦
九州工業大学
-
藤田 憲悦
島根大学総合理工学部数理・情報システム学科
-
藤田 憲悦
群馬大学大学院工学研究科
-
竹内 章
九州工業大学
-
Middeldorp Aart
筑波大学電子・情報工学系
-
中島 隆
九州工業大学情報工学部
-
FUJITA KEN-ETSU
Faculty of Computer Science and Systems Engineering, Kyushu Institute of Technology
-
縄田 和裕
九州工業大学情報工学部
-
石山 明宏
九州工業大学情報工学部
-
Fujita Ken-etsu
Faculty Of Computer Science And Systems Engineering Kyushu Institute Of Technology
著作論文
- λμ計算のモデルについて
- 構成的プログラミング
- An Injective CPS-translation for the Extensional λ-calculus
- 安全な動的型と分散プロクラミング
- 部分型推論の困難さに関する一考察
- Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems)
- μ-Head Form Proofs with at Most Two Formulas in the Succedent
- μ冠頭形証明とそのプログラミングへの応用に関する一考察
- Martin-Lofの型理論に基づくプログラム支援システムの構築
- 類推における証明項の変換について
- Bengt Nordstrom, Kent Petersson and Jan M. Smith : Programming in Martin-Lof's Type Theory, An Introduction, Clarendon Press (1990). ISBN 0-19-853814-6
- Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal 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)