The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
英
美
摘要连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质。
目录
查词历史
英 汉