Normalization by Evaluation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A technique for computing the normal form of a term by interpreting the term in a suitable semantic model (evaluation) and then reifying or reading back the semantic value into a syntactic normal form.