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