可以如下这样给出阶乘程序的指称。首先，我们必须开发基本构造如 if-then-else, ==, 和乘法的指称。还必须开发函数抽象和应用的指称语义。程序段可以接着被给予作为在偏函数的域之间的连续函数的一个指称阶乘程序的指称被定义为函数 "F" 的最小不动点。它因此是域 formula_3 的一个元素。这种不动点存在的原因是 "F" 是连续函数。一种版本的Tarski不动点定理声称在域上的连续函数有最小不动点。证明不动点定理的一种方式给出了为什么以这种方式给出递归的语义合适的直觉认识，所有在域 "