薮内 敦 | KEK物構研:(現)京大原子炉
スポンサーリンク
概要
論文 | ランダム
- $\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