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)