Normalización por Evaluación (NbE)
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una técnica para calcular la forma normal de un término interpretando el término en un modelo semántico adecuado (evaluación) y luego reificando o leyendo de nuevo el valor semántico a una forma sintáctica normal.