于S，但把参数传递给应用的一个子项（B传给“参数”子项，而C传给“函数”子项），如果子项中没有出现"x"，则保存后续的K。与B和C相比，S组合子实际上混合了两个功能：重新排列参数，并复制一个参数，以便它可以在两个地方使用。W组合子只做后者，产生了SKI组合子演算的B，C，K，W系统。
可计算函数和lambda演算.自然数的函数F: N → N是可计算函数，当且仅当存在着一个lambda表达式f，使得对于N中的每对x, y都有F(x) = y当且仅当f x <nowiki>==</