ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 広川 佐千男

  Department Of Computer Science College Of General Education Kyushu University

• 関本 彰次

  Department of Computer Science, Shizuoka University

関連論文

• Number of Proofs for Implicational Formulas(MATHEMATICAL LOGIC AND ITS APPLICATIONS)
• ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)
• Complexity of Combinator Reduction Machine(Mathematical Foundations of Computer Science and Their Applications)
• A relation between the size of term and the number of reduction steps in lambda calculus computations
• One-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオ-トマトン理論)

スポンサーリンク