编辑配置文件（在新选项卡中打开） 迈克尔·斯皮维。 合著者距离 作者ID： spivey-michael-j型 发布日期： 迈克尔·斯皮维;迈克尔·斯皮维。 已编制索引的文档： 12出版物自1996年以来，包括1本书 合著者： 4位合著者具有5份联合出版物 40位合作作者 全部的 前5名合著者 5 单作者的 2 西尔维亚·塞雷斯 1 安东尼奥·考伊 1 奥利维尔·丹维 1 朱利安·迪米特洛夫 1 伊丽莎白·R·格兰特。 1 黑尔，罗杰 1 Manjunathaiah，M。 1 丹尼尔·米尔曼 1 本·C·莫斯科夫斯基。 1 莱昂·罗森布利特 1 朱莉·沃斯劳维茨 1 侯赛因·泽丹 系列 2 计算的形式方面 2 函数编程杂志 1 通用计算机科学杂志 领域 12 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用7中的次7文件 引用人▼ 年份▼ （Z）中自由类型定义的一致性定理。 Zbl 0960.68617号 迈克尔·斯皮维 三 1996 通过Prolog介绍逻辑编程。 Zbl 0845.68021号 迈克尔·斯皮维 2 1996 宽度第一搜索的组合器。 兹比尔1015.68506 迈克尔·斯皮维 2 2000 \（Z\）的类型更丰富。 Zbl 0860.68066号 迈克尔·斯皮维 1 1996 关于Barron和Strachey的笛卡尔积函数。 Zbl 1291.68115号 奥利维尔·丹维;迈克尔·斯皮维 1 2007 关于Barron和Strachey的笛卡尔积函数。 Zbl 1291.68115号 奥利维尔·丹维;迈克尔·斯皮维 1 2007 宽度第一搜索的组合器。 Zbl 1015.68506号 迈克尔·斯皮维 2 2000 （Z）中自由类型定义的一致性定理。 Zbl 0960.68617号 迈克尔·斯皮维 三 1996 通过Prolog介绍逻辑编程。 Zbl 0845.68021号 迈克尔·斯皮维 2 1996 \（Z\）的类型更丰富。 Zbl 0860.68066号 迈克尔·斯皮维 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 2 泽达，弗兰克 1 安东尼奥·考伊 1 安娜·卡瓦尔坎蒂 1 陈志强 1 奥利维尔·丹维 1 塞巴斯蒂安·费舍尔 1 西蒙·福斯特 1 利奥·弗雷塔斯 1 奥列格·基塞利约夫 1 Shan、Chung-chieh 1 J.Michael斯皮维 1 迈克尔·J·斯皮维。 1 杨宏基 1 侯赛因·泽丹 3篇连载文章中引用 三 函数编程杂志 1 信息科学 1 计算的形式方面 在2个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文