About Fujita Ken-etsu
About Gunma University, Tenjin-cho 1-5-1, Kiryu 376-8515, Japan
About Information and Computation
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 reduction(reaction)
About lamda calculation
About Lambda-calculus
About Church-Rosser theorem
About Upper bounds on reduction length (steps)
About Parallel reduction
About Reduction strategies
About Takahashi’s translation (Gross-Knuth reduction strategy)
About Grzegorczyk hierarchy
About Theory of computation
About 定理
About 証拠
About 定量分析