严格函数

什么是严格函数在计算机科学和计算机编程中，如果一个函数f应用于一个非终止表达式时，它也不能终止，则称其为严格函数。在编程语言的指称语义学中，一个严格...