Meta

Meta Interpreter and Tram

The Meta-Representation of Terms Earlier, we saw that a term is either a variable or a tuple <f,t1, …,tk> (for k ≥ 1) where f is a symbol and each ti is a term.