About Hamana Makoto
About Department of Computer Science, Gunma University, Japan
About Abe Tatsuya
About STAIR Lab, Chiba Institute of Technology, Japan
About Kikuchi Kentaro
About Research Institute of Electrical Communication, Tohoku University, Japan
About Science of Computer Programming
Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.
About algebra
About lamda calculation
About programming language
About computer system (hardware)
About effectiveness
About type inference
About distortion
About confluence
About algorithm
About モノイド
About Polymorphism
About λ-calculus
About Type inference
About Second-order algebraic theory
About Confluence
About Computer system development
About 多形
About 計算システム
About コール
About バイ
About バリュー
About 合流
About 理論