自由变量的型相关硕士博士期刊学术论文

在域关系演算公式的基础上给出合法公式的归纳 ,从而为域常量代入公式的规则以及公式的解释规则给出理论基础......