upvote
True. But even in Mathematical Logic, a Term is a syntactical construct. You need to apply a "interpretation function" (mapping to a specific domain) to get a Value.

In Computation this is just made explicit and clear using a "eval function".

reply