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