For example, f occurs both bound and free in (fNf.fx): ... bound free OCCurrences Capture Free Substitution If the free variables of E' have.
確定! 回上一頁