Parallel Reductions in $\lambda$-Calculus

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 高橋 正子

  東京工業大学理学部

• 高橋 正子

  東京工業大学大学院情報理工学研究科数理・計算科学専攻

関連論文

• Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
• Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
• Parallel Reductions in $\lambda$-Calculus
• スコット理論
• SORにおける加速定数の決定について (近似計算とシミュレーションによる近似解法研究会報告集)
• 高階項書き換え系について
• 言語とω言語

スポンサーリンク