Beta範式

在 lambda 演算中 ， 一個項是beta 範式 （ 規範型 ） ， 如果沒有 “ beta 歸約 ” 是可能的 。 一個項是 beta - eta 範式 ， 如果既沒有 beta 歸約又沒有 “ eta 歸約 ” 是可能的 。 一個項是頭部範式 ， 如果沒有 “ 在頭部位置的 beta - 可規約式 ” 。