的共同主题是找到给出λ表达式的不动点。每个λ表达式都有一个不动点，不动点组合子是一个“函数”，即输入一个λ表达式并输出该表达式的一个不动点。一个重要的不动点组合是Y组合子，它使用递归定义。在zh-hans:程序; zh-hant:程式语言的指称语义，一个克纳斯特－塔斯基定理的特例用于建立递归定义的语义。不动点定理虽然适用于“相同”函数（从逻辑的角度来看），但其理论发展完全不同。递归函数的相同定义可用在可计算性理论中给出。这些结果并不是等价的定理，克拉斯特尔－塔斯基定理是个比那用于指称语义的更