fixpoint semantic 不动点语义 ; 固定点语义

natural fixpoint 锚固点

fixpoint theory of program 程序不动点理论

fixpoint theory 不动点理论

least fixpoint 最小不动点

Brouwer Fixpoint Theorem 布劳威尔不动点定理

fixpoint induction method 不动点归纳法

greatest fixpoint 最大不动点

least fixpoint of functionals 泛函的最小不动点