FUJITA Ken-etsu について
Gunma Univ. について
NAKAZAWA Koji について
Nagoya Univ. について
日本ソフトウェア科学会大会講演論文集(CD-ROM) について
項書換え系 について
プログラミング言語 について
等式論理 について
λ計算 について
書換え規則 について
正規化 について
計算量 について
項書換えシステム について
リダクション【計算機】 について
単調性 について
計算理論 について
汎用プログラミング言語 について
定理 について