电阻晶体管 swMATH ID: 13378 软件作者: M.Randall霍姆斯 描述: 数学原理类型分支理论的多态类型检查。给出了罗素和怀特海的数学原理类型的分支理论的形式表示。这种治疗方法的灵感来自于卡马雷丁、内德佩尔特和拉恩最近的一篇论文,但与之有很大不同。提出了一个完整的算法,用于确定类型分支理论命题函数的类型性和最一般的多态类型,这在类型判断推导过程中需要对数值不等式进行推理(以支持顺序的统一)方面是不常见的。作者开发了实现这些算法的软件,并给出了软件的使用示例。这是一篇较长论文的节略版本,稍后可能会出现在其他地方, 主页: http://math.boisestate.edu/~holmes/holmes/rttcover.html 相关软件: 毫升 引用于: 1文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 类型分支理论的多态类型检验数学原理. Zbl 1264.68159号M.Randall霍姆斯 2003 1位作者引用 1 M.Randall霍姆斯 0连载引用 在2个字段中引用 1 数学逻辑和基础(03-XX) 1 计算机科学(68-XX) 按年份列出的引文