広川 佐千男 | 静岡大学工学部
スポンサーリンク
概要
関連著者
著作論文
- 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 (形式言語理論とオ-トマトン理論)