SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 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

スポンサーリンク