Shallow-embedding meaning

(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation.
noun
0
0
(logic, countable) A specific mechanism for such a syntactic translation.
noun
0
0
Advertisement