|
|
Definition of Deep embedding
1. Noun. (logic uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter. ¹
2. Noun. (logic countable) A specific such representation. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Deep Embedding
Other Resources:
