в чем различие?
/me всегда думал что normal form - это когда не возможна β-редукция, а выражение в head normal form имеет вид (λ[x1]..[xn] . Y[M1]..[Mm]), где Y - не λ-абстракция и не свободная переменная
но википедия редиректит с "head normal form" на "beta normal form"
