Does anyone know the distinction between normalization and evaluation in the context of lambda calculus? I thought they were effectively the same, but then there is thing called 'normalization by evaluation':
Conversation
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
Show replies
Replying to
Normalization is more broad, I think. I.e. it’s any method of getting terms into normal form. The linked one uses a denotational semantics. You can also use an operational semantics. And probably someone, somewhere, has even crazier ways of doing normalization that I don’t know.
1
1
Show replies