All Questions
Tagged with denotational-semantics normalization
1 question
7
votes
1
answer
594
views
The precise definition of Normalization By Evaluation?
The Wikipedia article suggests that NbE is a technique for obtaining "the normal form of terms" by translating the object language into abstractions of the meta (host) language:
The ...
- 105