Beta范式 在 lambda 演算中一个项是beta 范式规范型如果没有beta 归约是可能的一个项是 betaeta 范式如果既没有 beta 归约又没有eta 归约是可能的一个项是头部范式如果没有在头部位置的 beta可规约式