Lambda calculus
拡張ラムダ計算に対するCEKは次のように定義される。