Deep-embedding definition

(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.
noun
0
0
(logic, countable) A specific such representation.
noun
0
0
Advertisement

Other Word Forms

Noun

Singular:
deep-embedding
Plural:
deep embeddings