Normalisation par Évaluation (NbE)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une technique pour calculer la forme normale d'un terme en interprétant le terme dans un modèle sémantique approprié (évaluation) puis en réifiant ou lisant la valeur sémantique dans une forme syntaxique normale.