RTT

Mathematica数学分支理论的多态类型检验给出了罗素和怀特海的Mathematica Mathematica的分支理论的正式呈现。该疗法受到启发,但与最近的卡马瑞丁、内德皮尔特和拉恩的论文有很大不同。一个完整的算法来确定可范性和最一般的多态类型的命题功能的分歧理论的类型,特别是需要推理的数值不等式在演绎的过程中的类型判断(支持统一的订单)。作者开发了这些算法的软件,并给出了使用该软件的实例。这是一个缩写版本的更长的纸,可能会出现在其他地方,

ZBMaX中的参考文献(1)中提到的1标准条款

显示1的结果1。
按年份排序(引文

  1. 福尔摩斯,M. Randall:文本类型的分支理论的多态类型检验(2003)