福田 昭宏 | 石川県臨床内科医会
スポンサーリンク
概要
論文 | ランダム
- $\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用)
- 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