スコット理論
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1979-11-15
著者
関連論文
- 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における加速定数の決定について (近似計算とシミュレーションによる近似解法研究会報告集)
- 高階項書き換え系について
- 言語とω言語