4.1引 言 本章的主要内容 递归函数和不动点算子，以及PCF语言的编 程实例 基于完全偏序集合的，带不动点算子的类型 化λ演算的论域理论模型 不动点归纳法，这是一种对递归定义进行推 理的证明方法4.1 引 言 本章的主要内容 • 递归函数和不动点算子，以及PCF语言的编 程实例 • 基于完全偏序集合的，带不动点算子的类型 化演算的论域理论模型 • 不动点归纳法，这是一种对递归定义进行推 理的证明方法