Talk:Semantics encoding
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||
|
Preservation of reductions; completeness[edit]
Does not it miss ? So it will be
For every term of language A and every terms of language B, if then there exists some such that and .