交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
约翰·朗利和兰迪·波拉克2004高阶逻辑中的定理证明.第3223卷,问题,第页。201
史蒂夫·毕晓普马修·费尔贝恩迈克尔·诺里什彼得·休厄尔迈克尔·史密斯和基思·旺斯堡2005适用于TCP、UDP和套接字的网络协议的严格规范和一致性测试技术.ACM SIGCOMM计算机通信评论,第35卷,发布。4中,第页。265
史蒂夫·毕晓普马修·费尔贝恩迈克尔·诺里什彼得·休厄尔迈克尔·史密斯和基思·旺斯堡2005适用于TCP、UDP和套接字的网络协议的严格规范和一致性测试技术.第页。265
安德烈亚斯·亚贝尔马钦·本克安娜·波夫约翰·休斯和乌尔夫诺雷尔2005使用构造型理论验证haskell程序.第页。62
S.F.艾伦。比克福德,M。R.L.康斯特布尔。伊顿,R。克里茨,C。洛里戈,L。和E.莫兰。2006使用Nuprl的计算类型理论创新.应用逻辑杂志,第4卷,发布。4中,第页。428
詹姆斯·考德威尔和约瑟夫·波尔2007作为索引类型的构造成员谓词.理论计算机科学电子笔记,第174卷,发布。7,第页。三。
斯科特·欧文斯和康拉德·斯林德2008使功能程序适应高阶逻辑.高阶和符号计算,第21卷,发布。4中,第页。377
罗伯特·康斯特布尔。2012关于构建构造性形式计算理论——注意图灵、丘奇和布劳沃的作用.第页。2
克里斯托夫·克里茨2012逻辑与程序语义学.第7230卷,问题,第页。124
法鲁兹卡马雷丁特温·拉恩和罗伯特·康斯特布尔2012二十世纪的集合与扩展.第6卷,问题,第页。801
安德鲁·W·阿佩尔。伦纳特·贝林格亚当·奇利帕拉本杰明·皮尔斯。邵,钟斯蒂芬妮·威里奇和史蒂夫·兹丹塞维奇2017职位论文:深度规范科学.英国皇家学会哲学学报A:数学、物理和工程科学,第375卷,发布。2104中,第页。20160331
史蒂夫·毕晓普马修·费尔贝恩汉内斯·梅内特迈克尔·诺里什汤姆·里奇彼得·休厄尔迈克尔·史密斯和基思·旺斯堡2019逻辑工程.美国医学会杂志,第66卷,发布。1中,第页。1