Hirokawa Sachio | Department Of Computer Science Shizuoka University
スポンサーリンク
概要
関連著者
-
Hirokawa Sachio
Department Of Computer Science Shizuoka University
-
Hirokawa Sachio
Department of Information Science, Faculty of Engineering, Shizuoka University
-
Hirokawa Sachio
Department Of Information Science Faculty Of Engineering Shizuoka University
著作論文
- SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory)
- Recurrent Terms of Lambda Calculus