×

电阻晶体管

swMATH ID: 13378
软件作者: M.Randall霍姆斯
描述: 数学原理类型分支理论的多态类型检查。给出了罗素和怀特海的数学原理类型的分支理论的形式表示。这种治疗方法的灵感来自于卡马雷丁、内德佩尔特和拉恩最近的一篇论文,但与之有很大不同。提出了一个完整的算法,用于确定类型分支理论命题函数的类型性和最一般的多态类型,这在类型判断推导过程中需要对数值不等式进行推理(以支持顺序的统一)方面是不常见的。作者开发了实现这些算法的软件,并给出了软件的使用示例。这是一篇较长论文的节略版本,稍后可能会出现在其他地方,
主页: http://math.boisestate.edu/~holmes/holmes/rttcover.html
相关软件: 毫升
引用于: 1文件

1位作者引用

1 M.Randall霍姆斯

0连载引用

按年份列出的引文