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
This Tweet was deleted by the Tweet author. Learn more
Yeah, I've been attempting to convert things to the restricted subset of expressions in my dependently typed language Pikelet. I was calling this normalization, but thought it was interchangeable with evaluation.
1
Show replies