B 稱為 A 主標準式指 B 為主標準式且可由 A 轉換而來。主標準式(principal normal form)滿足下列條件：

2.沒有變元同時為自由變元及受限變元。

3.在 λ 後之變元序列須為由 a 開始且依自然順序出現，且不可重覆， 但跳過式中之自由變元。

λab.b(a) 為主標準式。

λa.a(λc.b(c)) 為主標準式 b 是自由變元可跳過。

λac.c(a) 不為主標準式，因為變元序列 ac 跳過 b，但 b 不為自由變元。

λbc.c(b) 不為主標準式，因為變元序列 bc 不以 a 開始。

λa.a(λa.b(a)) 不為主標準式，因為 λ 後變元序列 aa，變元重覆。