項書換え

数理論理学において、項書換えは式の変形規則を扱う。

プログラミング言語のコンパイラでは、内部的に項書換えが用いられることがある。

彼は項書換えの理論を研究し、その応用を探求している。