deep embedding

Meaning

1. noun 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 A specific such representation.

Similar words

shallow embedding logic implicitization embedding denotational semantics depth immersion church encoding intensional logic superexpression