Talk:Semantics encoding

Preservation of reductions; completeness

Does not it miss $T_{A}^{1}\longrightarrow ^{*}T_{A}^{2}$? So it will be

For every term $T_{A}^{1}$ of language A and every terms $T_{B}^{2}$ of language B, if $[T_{A}^{1}]\longrightarrow ^{*}T_{B}^{2}$ then there exists some $T_{A}^{2}$ such that $T_{B}^{2}=[T_{A}^{2}]$ and $T_{A}^{1}\longrightarrow ^{*}T_{A}^{2}$.

--Beroal (talk) 15:42, 27 September 2014 (UTC)