编辑配置文件（在新选项卡中打开） 罗伯特·波拉克 合著者距离 作者ID： 波拉克·罗伯特·1 发布日期： 罗伯特·波拉克 已编制索引的文档： 22出版物自1991年以来，包括4个附加arXiv预打印 1名编辑贡献 合著者： 7合著者具有6份联合出版物 170位合作作者 全部的 前5名合著者 6 单作者的 6 约翰·伯格达尔 4 詹姆斯·麦金纳 1 阿诺·阿夫隆 1 乔·贝拉·切 1 卡齐姆，比约克博杜克 1 保罗·T·卡拉汉。 1 埃文·P·达米特（Evan P.Dummit）。 1 马尔顿哈布里塞克 1 罗伯特·哈珀 1 罗伯特·哈伦 1 Furio Honsell公司 1 Jain，Lalit K。 1 罗朝晖 1 伊恩·梅森。 1 丹尼尔·罗斯 1 Sasaki、Shu 1 弗拉德塞族人 1 van Benthem Jutting，L.S.公司。 1 威克，普雷斯顿 全部的 前5名系列 2 自动化推理杂志 1 数学合成 1 伦敦数学学会会刊。第三系列 1 理论计算机科学 1 美国数学学会会刊 1 计算的形式方面 1 IMRN。国际数学研究通告 1 康普斯·伦杜斯。数学竞赛。巴黎科学院 1 计算机科学课堂讲稿 1 数论研究 1 美国数学学会会刊。B系列 领域 10 数论（11-XX） 10 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用108次98文件 引用人▼ 年份▼ 使用类型化lambda演算在机器上实现形式化系统。 Zbl 0784.68072号 阿诺·阿夫隆;Furio Honsell;伊恩·梅森。;波拉克，罗伯特 32 1992 一些lambda演算和类型理论形式化了。 Zbl 0940.03019号 詹姆斯·麦金纳;罗伯特·波拉克 27 1999 形式化的纯类型系统。 Zbl 0835.68068号 詹姆斯·麦金纳;罗伯特·波拉克 22 1993 （p\）-基模形式的Fredholm级数的算术性质。 Zbl 1368.11042号 约翰·伯格达尔;罗伯特·波拉克 10 2016 使用Universe进行类型检查。 Zbl 0737.68013号 罗伯特·哈珀;罗伯特·波拉克 9 1991 模形式的斜率和ghost猜想。 Zbl 1451.11035号 约翰·伯格达尔;罗伯特·波拉克 8 2019 类型理论中的独立类型记录。 Zbl 1001.68013号 罗伯特·波拉克 7 2002 过收敛的模块符号。 Zbl 1359.11057号 罗伯特·波拉克 6 2014 用于表示数学结构的独立类型记录。 Zbl 0974.68181号 罗伯特·波拉克 5 2000 如何相信机器检验的证据。 Zbl 0936.03012号 罗伯特·波拉克 4 1998 与Eisenstein级数和（mu）-不变量的同余。 Zbl 1460.11128号 Bellaïche，若埃尔;罗伯特·波拉克 三 2019 模形式的斜率和ghost猜想。二、。 Zbl 1451.11034号 约翰·伯格达尔;波拉克，罗伯特 三 2019 关于模形式的非积分自由斜率的一点注记。（Une remaque sur les pentes \（p \）-adiques non entières des formes modularies.） Zbl 1417.11052号 约翰·伯格达尔;罗伯特·波拉克 2 2017 一个经过验证的打字检查器。 Zbl 1063.03502号 罗伯特·波拉克 2 1995 通过超收敛模符号显式计算Hida族。 Zbl 1417.11055号 埃文·P·达米特（Evan P.Dummit）。;马尔顿哈布里塞克;罗伯特·哈伦;拉利特·贾恩;罗伯特·波拉克;丹尼尔·罗斯 2 2016 模形式的斜率和可约伽罗瓦表示，这是鬼猜想中的一个疏忽。 兹比尔1517.11042 约翰·伯格达尔;罗伯特·波拉克 1 2022 模形式的斜率和可约伽罗瓦表示，这是鬼猜想中的一个疏忽。 Zbl 1517.11042号 约翰·伯格达尔;罗伯特·波拉克 1 2022 模形式的斜率和ghost猜想。 Zbl 1451.11035号 约翰·伯格达尔;罗伯特·波拉克 8 2019 与艾森斯坦级数和\（\mu\）-不变量的同余。 Zbl 1460.11128号 乔·贝拉·切;罗伯特·波拉克 三 2019 模形式的斜率和ghost猜想。二、。 兹比尔1451.11034 约翰·伯格达尔;罗伯特·波拉克 三 2019 关于模形式的非积分自由斜率的一点注记。（Une remaque sur les pentes \（p \）-adiques non entières des formes modularies.） 兹伯利1417.11052 约翰·伯格达尔;罗伯特·波拉克 2 2017 （p\）-基模形式的Fredholm级数的算术性质。 Zbl 1368.11042号 约翰·伯格达尔;罗伯特·波拉克 10 2016 通过超收敛模符号显式计算Hida族。 Zbl 1417.11055号 埃文·P·达米特（Evan P.Dummit）。;马尔顿哈布里塞克;罗伯特·哈伦;拉利特·贾恩;罗伯特·波拉克;丹尼尔·罗斯 2 2016 过收敛的模块符号。 Zbl 1359.11057号 罗伯特·波拉克 6 2014 类型理论中的独立类型记录。 Zbl 1001.68013号 罗伯特·波拉克 7 2002 用于表示数学结构的独立类型记录。 Zbl 0974.68181号 罗伯特·波拉克 5 2000 一些lambda演算和类型理论形式化了。 Zbl 0940.03019号 詹姆斯·麦金纳;罗伯特·波拉克 27 1999 如何相信机器检验的证据。 Zbl 0936.03012号 罗伯特·波拉克 4 1998 一个经过验证的打字检查器。 Zbl 1063.03502号 波拉克，罗伯特 2 1995 形式化的纯类型系统。 Zbl 0835.68068号 詹姆斯·麦金纳;罗伯特·波拉克 22 1993 使用类型化lambda演算在机器上实现形式化系统。 Zbl 0784.68072号 阿诺·阿夫隆;Furio Honsell;伊恩·梅森。;罗伯特·波拉克 32 1992 使用Universe进行类型检查。 Zbl 0737.68013号 罗伯特·哈珀;罗伯特·波拉克 9 1991 所有引用出版物 前5名被引用出版物 全部的 前5名被131位作者引用 7 Furio Honsell 7 马里诺·米库兰 5 兰迪·波拉克 4 伊万·斯卡格内托 三 阿诺·阿夫隆 三 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 三 玛丽娜·莱妮莎 三 塞恩·马修斯 三 大卫·J·派姆。 三 佐藤真彦 2 毛里西奥·阿亚拉·林科恩 2 David A.Basin。 2 安德烈·鲍尔 2 詹姆斯·布罗瑟斯顿 2 阿尔贝托·齐法格利翁 2 埃内斯托·科佩罗 2 罗伊·克罗。 2 默多克·詹姆斯·加贝 2 Healfdene戈根 2 乔治·戈蒂尔 2 罗伯特·哈珀 2 罗朝晖 2 伊恩·梅森。 2 康诺·托马斯·麦克布莱德 2 詹姆斯·麦金纳 2 乌尔德·比哈，西迪 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 克劳迪奥·萨塞尔多蒂·科恩 2 唐纳德·桑内拉。 2 索索、马蒂厄 2 诺拉·萨兹 2 安杰伊·塔莱基 2 阿尔瓦罗·塔西斯特罗 2 雷内·维斯特加德 2 弗里克·威迪杰克 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 贝尼亚米·阿卡托利 1 法比奥·阿莱西 1 斯图亚特·艾伦。 1 纪尧姆·安巴尔 1 奥费尔·阿列利 1 大卫·阿斯皮纳尔 1 伊夫·贝托特 1 马克·贝泽姆 1 马克·比克福德 1 罗伯托·布鲁尼 1 彼得·查普曼 1 亚瑟·查古埃罗 1 杰斯珀·考克斯 1 科恩、利隆 1 罗伯特·李，警察 1 可口、蒂埃里 1 Joëlle Despeyroux公司 1 埃德斯科·德弗里斯 1 彼得罗·迪·贾南托尼奥 1 理查德·伊顿 1 艾米·费尔蒂。 1 迪迪埃·加米歇 1 菲利普·安·加德纳 1 弗朗索瓦·加里洛 1 简·赫尔曼·杰弗斯 1 尼尔·加尼 1 乔治·盖利 1 伊曼纽尔·冈瑟 1 菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。 1 亚瑟·休斯 1 帕特里克·詹森 1 阿萨夫·科弗里。 1 高、香山 1 克里斯托夫·克里茨 1 安德烈·L.Galdino 1 马修·拉金。 1 Lee，Gyesik先生 1 塞尔盖·伦格利特 1 李伟 1 路易吉·利古里 1 洛里戈，洛里 1 莱娜·马格努森 1 阿西亚·马布比 1 何塞·梅塞盖尔·瓜伊塔 1 戴尔·艾伦·米勒 1 皮埃尔路易吉·米纳里 1 阿尔贝托·莫米利亚诺 1 E.莫兰。 1 穆申成 1 多米尼克·P·穆里根。 1 弗兰克·内贝尔 1 托比亚斯·尼普科夫 1 弗雷德里克·诺德瓦尔·福斯伯格 1 诺里斯，迈克尔 1 尼古拉斯·欧里 1 米盖尔·帕加诺 1 Park，琼云 1 松武公园 1 爱荷华州帕什卡 1 劳伦斯·查尔斯·保尔森 1 佩特科维奇·科梅尔（Anja PetkovićKomel） 1 弗兰克·芬宁 1 波拉克，罗伯特 1 安德烈·波佩斯库 …还有31位作者 全部的 前5名18篇连载文章中引用 12 理论计算机科学 11 自动化推理杂志 10 信息与计算 5 函数编程杂志 4 MSCS公司。计算机科学中的数学结构 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 2 形式化推理期刊 1 比特币 1 逻辑研究 1 计算机科学与技术杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 高阶和符号计算 1 应用逻辑杂志 1 理论计算机科学电子笔记 在5个字段中引用 85 计算机科学（68至XX） 58 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 1 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 按年份列出的引文