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