from β簡約

β基を正規形までβ簡約する過程を列にしたもの

ex. 「((\lambda x.(\lambda w.wx))y)z,(\lambda w.wy)z, zy」

β変換列が無限個になるものもある

ex. ((\lambda x.xx)(\lambda x.xx))

↑のことをΩ-コンビネータという