如下:这里的注意: progression 是不动点算子(参见上节中的定义)，它的最小不动点是 Denote，就是还有 progression 是 ω-连续的(参见上节中的定义)。
从演员语义得出 Scott 连续性.演员模型为得出 Dana Scott 的函数的指称语义(在前面章节关于 factorial 的例子所展示的)提供了基础，Carl Hewitt 和 Henry Baker [1977] 首次给出了定理证明:如果一个演员 f 表现得如同数学函数，则 prog