Definitions from Wiktionary (deep embedding)
▸ 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.
▸ noun: (logic, countable) A specific such representation.
▸ Words similar to deep embedding
▸ Usage examples for deep embedding
▸ Idioms related to deep embedding
▸ Wikipedia articles (New!)
▸ Words that often appear near deep embedding
▸ Rhymes of deep embedding
▸ Invented words related to deep embedding
▸ 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.
▸ noun: (logic, countable) A specific such representation.
Similar:
shallow embedding,
logic,
implicitization,
embedding,
denotational semantics,
depth,
immersion,
Church encoding,
intensional logic,
superexpression,
more...
▸ Words similar to deep embedding
▸ Usage examples for deep embedding
▸ Idioms related to deep embedding
▸ Wikipedia articles (New!)
▸ Words that often appear near deep embedding
▸ Rhymes of deep embedding
▸ Invented words related to deep embedding