deep and shallow embeddings

A shallow embedding of language into language is an embedding that represents -constructs directly via -constructs.

In contrast, a deep embedding models -syntax as an -object.

Here is a slightly more precise way of putting it. A shallow embedding represents the semantics of directly, and it represents the syntax of only implicitly. In contrast, a deep embedding represents the syntax of directly, and it represents the semantics of via an interpreter.