Tait showed in 1967 that β {\displaystyle \beta } -reduction is strongly normalizing.
Tait 在 1967 年证明了 β {\displaystyle \beta } -归约是强规范化的。