编辑配置文件(在新选项卡中打开) 彼得·塞林格 合著者距离 作者ID: 塞林格·彼得 发布日期: 彼得·塞林格;Selinger,P。 外部链接: MGP公司 已编制索引的文档: 40出版物自1997年以来,包括6附加arXiv预打印 作为编辑的10份贡献 合著者: 26位合著者具有31份联合出版物 671合著作者 全部的 前5名合著者 19 单作者的 7 傅鹏 7 贝诺缬氨酸 6 Kohei的Kishida 5 尼尔·J·罗斯。 三 鲍勃·科克 三 帕南加登,普拉卡什 2 马西莫·卡瓦拉 2 埃里克·德默 2 萨拉·法里迪 2 克里斯·希恩 2 奥克塔维奥·马尔赫贝 2 菲利普·斯科特。 1 卞晓宁 1 里克·布鲁特 1 朱利奥·奇里贝拉 1 Green,Alexander S。 1 巴特·雅各布斯 1 亚历克斯·基辛格 1 彼得·勒法努·卢姆斯代恩 1 伊恩·麦基 1 Mislove,Michael W。 1 米歇尔·帕加尼 1 里奥斯,弗朗西斯科·富兰克林·索萨 1 溅出物,Bas 1 杰米·维卡里 1 王凯尔 全部的 前5名系列 6 理论计算机科学电子笔记 三 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 三 理论计算机科学电子论文集(EPTCS) 1 纯代数与应用代数杂志 1 理论计算机科学 1 符号计算杂志 1 函数编程杂志 1 整数 1 物理学基础 全部的 前5名领域 26 量子理论(81-XX) 24 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 11 范畴理论;同调代数(18-XX) 10 总体主题;集合(00-XX) 三 功能分析(46倍X倍) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 组合数学(05-XX) 2 交换代数(13-XX) 2 信息与通信理论、电路(94-XX) 1 算子理论(47-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用704中的次487文件 引用人▼ 年份▼ 单体范畴图形语言综述。 Zbl 1217.18002号 塞林格,P。 184 2011 匕首紧凑的封闭类别和完全积极的地图(扩展抽象)。 Zbl 1277.18008号 彼得·塞林格 119 2007 走向量子编程语言。 Zbl 1085.68014号 彼得·塞林格 90 2004 控制范畴与对偶:关于lambda-mu演算的范畴语义。 Zbl 0984.18003号 彼得·塞林格 41 2001 经典控制量子计算的lambda演算。 Zbl 1122.68033号 彼得·塞林格;贝诺伊·瓦利隆 41 2006 奎珀量子编程简介。 Zbl 1406.68013号 亚历山大·S·格林。;彼得·勒法努·卢姆斯代恩;尼尔·J·罗斯。;彼得·塞林格;贝诺缬氨酸 28 2013 将定量语义应用于高阶量子计算。 Zbl 1284.68271号 米歇尔·帕加尼;彼得·塞林格;贝诺缬氨酸 25 2014 匕首类别中的Idempotents(扩展摘要)。 Zbl 1279.18006号 彼得·塞林格 22 2008 量子λ演算。 Zbl 1344.68052号 彼得·塞林格;贝诺缬氨酸 16 2010 关于量子线性函数语言的完全抽象模型(扩展抽象)。 Zbl 1279.68046号 彼得·塞林格;贝诺缬氨酸 12 2008 量子编程语言的简要概述。 Zbl 1122.68359号 彼得·塞林格 12 2004 有限维希尔伯特空间对于匕首紧闭范畴是完备的。 Zbl 1250.18007号 彼得·塞林格 11 2012 lambda演算是代数的。 Zbl 1040.68023号 彼得·塞林格 11 2002 量子电路描述语言的范畴模型(扩展抽象)。 Zbl 1486.81067号 里奥斯,弗朗西斯科;彼得·塞林格 11 2018 有限维希尔伯特空间对于dagger紧致闭范畴(扩展抽象)是完备的。 Zbl 1348.18011号 彼得·塞林格 9 2011 序不完备性和有限lambda约简模型。 Zbl 1070.68022号 彼得·塞林格 9 2003 量子计算的前置模型:概述。 兹比尔1264.81119 奥克塔维奥·马勒贝;菲利普·斯科特;彼得·塞林格 8 2013 完全正投影和二乘积。 Zbl 1467.81022号 克里斯·希恩;亚历克斯·基辛格;彼得·塞林格 8 2014 经典控制量子计算的lambda演算。 Zbl 1114.68031号 彼得·塞林格;Valiron,Benoít公司 8 2005 (n)-qubit Clifford算子的生成器和关系。 Zbl 1391.81066号 彼得·塞林格 7 2015 异步的分类结构。 Zbl 0924.68109号 彼得·塞林格 6 1999 异步的一阶公理。 Zbl 1512.68098号 彼得·塞林格 5 1997 单纯形循环和单纯形树的计算。 Zbl 1124.05094号 马西莫·卡瓦拉;萨拉·法里迪;彼得·塞林格 4 2007 以对手为中心的协议逻辑模型。 Zbl 1268.03036号 彼得·塞林格 三 2003 部分跟踪的类别。 Zbl 1278.18010号 奥克塔维奥·马勒贝;菲利普·斯科特。;彼得·塞林格 三 2012 量子编程语言的线性相关类型理论:扩展抽象。 Zbl 1502.68076号 傅鹏;Kohei的Kishida;彼得·塞林格 2 2020 独立类型原型设备中量子电路编程的教程介绍。 兹伯利07368053 傅鹏;Kohei的Kishida;尼尔·J·罗斯。;彼得·塞林格 2 2020 第八届量子物理和逻辑国际研讨会,荷兰奈梅亨,2011年10月27日至29日。诉讼程序。 Zbl 1391.81010号 2 2012 稀疏复合体的树检查。 Zbl 1229.05292号 马西莫·卡瓦拉;萨拉·法里迪;彼得·塞林格 2 2006 计算调用值lambda演算的线性-非线性模型。(扩展摘要)。 Zbl 1138.68351号 彼得·塞林格;贝诺缬氨酸 2 2008 第十二届量子物理与逻辑国际研讨会论文集,QPL'15,英国牛津,2015年7月15日至17日。 Zbl 1434.03015号 1 2015 量子编程语言的线性相关类型理论:扩展抽象。 Zbl 1502.68076号 傅鹏;Kohei的Kishida;彼得·塞林格 2 2020 独立类型原型设备中量子电路编程的教程介绍。 Zbl 07368053号 傅鹏;Kohei的Kishida;尼尔·J·罗斯。;彼得·塞林格 2 2020 量子电路描述语言的范畴模型(扩展抽象)。 Zbl 1486.81067号 里奥斯,弗朗西斯科;彼得·塞林格 11 2018 (n)-qubit Clifford算子的生成器和关系。 Zbl 1391.81066号 彼得·塞林格 7 2015 第十二届量子物理与逻辑国际研讨会论文集,QPL'15,英国牛津,2015年7月15日至17日。 Zbl 1434.03015号 1 2015 将定量语义应用于高阶量子计算。 Zbl 1284.68271号 米歇尔·帕加尼;彼得·塞林格;贝诺缬氨酸 25 2014 完全正投影和二乘积。 Zbl 1467.81022号 克里斯·希恩;亚历克斯·基辛格;彼得·塞林格 8 2014 奎珀量子编程简介。 Zbl 1406.68013号 亚历山大·S·格林。;彼得·勒法努·卢姆斯代恩;尼尔·J·罗斯。;彼得·塞林格;贝诺缬氨酸 28 2013 量子计算的前置模型:概述。 Zbl 1264.81119号 奥克塔维奥·马勒贝;菲利普·斯科特;彼得·塞林格 8 2013 有限维希尔伯特空间对于匕首紧闭范畴是完备的。 Zbl 1250.18007号 彼得·塞林格 11 2012 部分跟踪的类别。 Zbl 1278.18010号 奥克塔维奥·马勒贝;菲利普·斯科特。;彼得·塞林格 三 2012 第八届量子物理和逻辑国际研讨会,荷兰奈梅亨,2011年10月27日至29日。诉讼程序。 Zbl 1391.81010号 2 2012 单体范畴图形语言综述。 Zbl 1217.18002号 塞林格,P。 184 2011 有限维希尔伯特空间对于匕首紧闭范畴(扩展抽象)是完备的。 Zbl 1348.18011号 彼得·塞林格 9 2011 量子λ演算。 Zbl 1344.68052号 彼得·塞林格;贝诺缬氨酸 16 2010 匕首类别中的Idempotents(扩展摘要)。 Zbl 1279.18006号 彼得·塞林格 22 2008 关于量子线性函数语言的完全抽象模型(扩展抽象)。 Zbl 1279.68046号 彼得·塞林格;贝诺缬氨酸 12 2008 计算调用值lambda演算的线性-非线性模型。(扩展摘要)。 Zbl 1138.68351号 彼得·塞林格;贝诺缬氨酸 2 2008 匕首紧凑的封闭类别和完全积极的地图(扩展抽象)。 兹比尔1277.18008 彼得·塞林格 119 2007 单纯形循环和单纯形树的计算。 Zbl 1124.05094号 马西莫·卡瓦拉;萨拉·法里迪;彼得·塞林格 4 2007 经典控制量子计算的lambda演算。 Zbl 1122.68033号 彼得·塞林格;贝诺伊·瓦利隆 41 2006 稀疏复合体的树检查。 Zbl 1229.05292号 马西莫·卡瓦拉;萨拉·法里迪;彼得·塞林格 2 2006 经典控制量子计算的lambda演算。 Zbl 1114.68031号 彼得·塞林格;贝诺·瓦利昂 8 2005 走向量子编程语言。 兹比尔1085.68014 彼得·塞林格 90 2004 量子编程语言的简要概述。 Zbl 1122.68359号 彼得·塞林格 12 2004 序不完备性和有限lambda约简模型。 Zbl 1070.68022号 彼得·塞林格 9 2003 以对手为中心的协议逻辑模型。 Zbl 1268.03036号 彼得·塞林格 三 2003 lambda演算是代数的。 Zbl 1040.68023号 彼得·塞林格 11 2002 控制范畴与对偶:关于lambda-mu演算的范畴语义。 Zbl 0984.18003号 彼得·塞林格 41 2001 异步的分类结构。 兹比尔0924.68109 彼得·塞林格 6 1999 异步的一阶公理。 Zbl 1512.68098号 彼得·塞林格 5 1997 所有引用出版物 前5名被引用出版物 全部的 前5名529位作者引用 25 鲍勃·科克 23 法比奥·扎纳西 16 克里斯·希恩 13 巴布亚州索波辛斯基 12 菲利波·邦奇 12 亚历克斯·基辛格 12 杰米·维卡里 11 亚历杭德罗·迪亚斯·卡洛 11 西蒙·佩德里克斯 11 玛格丽塔·佐齐 10 冯、袁 10 彼得·塞林格 9 罗宾·卡斯加德 9 英明生 8 科科特,J.罗宾B。 8 罗斯·邓肯 8 法比奥·加杜奇 8 斯特凡诺·戈吉奥索 8 巴特·雅各布斯 8 肖恩·塔尔 7 乌戈·达尔拉戈 7 贝诺缬氨酸 6 罗宾·皮埃德鲁 6 马西斯·雷内拉 6 保罗·W·威尔逊。 5 米丽亚姆·巴肯斯 5 约翰·C·贝兹。 5 舒适,科尔 5 乔瓦尼·德·费利塞 5 Gilles Dowek 5 托马斯·埃哈德 5 奥克塔维奥·马勒贝 5 朱利奥·曼佐内托 5 安德烈亚·马西尼 5 Jean-Simon,Pacaud Lemay 5 卢卡·保里尼 5 大卫·雅各布(David Jakob),雷特(Reutter) 5 菲利普·斯科特。 5 萨姆·斯塔顿 5 亚历山大·威尔斯 4 巴勃罗·阿里吉 4 安妮·布罗德本特 4 安东尼·德尔佩赫 4 罗伯特·格莱克 4 长谷川、Masahito 4 星野直彦 4 川谷义彦 4 马尔蒂·卡沃宁 4 大辅木村 4 盖·安德鲁·麦库斯克 4 安东尼奥·萨利布拉 4 多米尼克·弗登 4 雷诺德·维尔马特 4 王全龙 4 弗拉基米尔·扎姆德日耶夫 三 泽纳·M·阿里奥拉。 三 霍华德·巴纳姆 三 理查德·布鲁特(Richard F.Blute)。 三 安东尼奥·布恰雷利 三 朱利奥·奇里贝拉 三 扬尼克·德尔贝克 三 段润耀 三 布伦丹·方 三 托拜厄斯·弗里茨 三 卡斯滕·范尔曼 三 法布里奇奥·基诺维塞 三 马里诺·格兰 三 乔纳森·格拉塔奇 三 阿马尔·哈齐哈萨诺维奇 三 海兰德·J·马丁·E·。 三 伊曼纽尔·詹德尔 三 奥利维·洛朗 三 Jean-Simon P.勒梅。 三 丹·马斯登 三 帕南加登,普拉卡什 三 巴甫洛维奇,杜什科 三 詹妮弗·佩金 三 大卫·彭尼 三 毛罗·皮科洛 三 布莱克·波拉德。 三 阿穆尔·萨布里 三 卡洛·玛丽亚·斯坎多洛 三 Michael A.舒尔曼。 三 罗伯特·斯佩肯斯(Robert W.Spekkens)。 三 Priyaa Varshinee的Srinivasan 三 亚历克西斯·图米 三 朱利安娜·凯泽·维佐托 三 巴斯·韦斯特班 三 史蒂夫·兹丹塞维奇 2 托尔斯滕·阿滕柯奇 2 艾米、马修 2 霍尔格·博克·阿克塞尔森 2 塞缪尔·巴尔科 2 保罗·巴尔丹 2 吉安路易吉·贝林 2 香塔尔·伯林 2 卞晓宁 2 莱恩·布莱尔(Ryan C.Blair)。 2 斯宾塞·布雷纳 2 陈建新 …还有429名作者 全部的 前5名94篇连载文章中引用 26 MSCS公司。计算机科学中的数学结构 25 计算机科学中的逻辑方法 19 理论计算机科学 17 信息与计算 14 纯代数与应用代数杂志 12 纯逻辑与应用逻辑年鉴 11 量子信息处理 6 数学物理中的通信 6 应用的分类结构 6 范畴的理论与应用 5 自动推理杂志 5 新物理学杂志 5 程序设计中的逻辑与代数方法杂志 4 信息学报 4 数学物理杂志 4 数学进展 4 新一代计算 4 物理学基础 三 符号计算杂志 三 选择Mathematica。新系列 三 高阶与符号计算 2 国际理论物理杂志 2 信息处理信件 2 代数普遍性 2 《伦敦数学学会通报》 2 计算机与系统科学杂志 2 哲学逻辑杂志 2 符号逻辑杂志 2 合成 2 拓扑及其应用 2 函数编程杂志 2 数学与人工智能年鉴 2 软计算 2 同伦及相关结构杂志 2 交换代数期刊 2 高层建筑 1 人工智能 1 代数通讯 1 离散数学 1 数学物理中的字母 1 数学笔记 1 剑桥哲学学会数学进展杂志 1 数学物理评论 1 几何与物理杂志 1 波兰科学院公报。技术科学 1 加拿大数学杂志 1 模糊集与系统 1 代数杂志 1 美国数学学会回忆录 1 圣母院形式逻辑杂志 1 《数学研究所出版物》。Nouvelle Série公司 1 美国数学学会会刊 1 计算机程序设计科学 1 SIAM矩阵分析与应用杂志 1 计算的形式方面 1 数值算法 1 数学说明 1 结理论杂志及其分歧 1 代数组合数学杂志 1 国际计算机与系统科学杂志 1 菲洛马 1 组合数学电子杂志 1 人工智能研究杂志 1 Documenta Mathematica公司 1 表征理论 1 几何和拓扑 1 美国医学会杂志 1 代数与表示论 1 欧洲数学学会杂志(JEMS) 1 国际应用数学与计算机科学杂志 1 当代数学传播 1 高能物理杂志 1 洛巴切夫斯基数学杂志 1 亨利·彭加莱年鉴 1 代数和几何拓扑 1 逻辑与代数程序设计杂志 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 自然计算 1 Hacettepe数学与统计杂志 1 代数杂志及其应用 1 应用逻辑杂志 1 国际现代物理几何方法杂志 1 物理学报A:数学与理论 1 量子拓扑 1 RAIRO公司。理论信息学及其应用 1 ISRN几何 1 公理 1 科尔理工学院学报——数学 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 1 美国数学学会会刊。B系列 1 组合代数杂志 1 工程数学 1 欧洲数学学会杂志 全部的 前5名40个领域被引用 245 计算机科学(68至XX) 213 量子理论(81-XX) 212 范畴理论;同调代数(18-XX) 128 数学逻辑和基础(03-XX) 27 功能分析(46倍X倍) 22 结合环与代数(16-XX) 18 信息与通信理论、电路(94-XX) 15 组合数学(05-XX) 14 流形和细胞复合体(57至XX) 12 博弈论、经济学、金融和其他社会和行为科学(91-XX) 11 群论与推广(20-XX) 10 统计学(62-XX) 9 代数拓扑(55-XX) 8 阶、格、有序代数结构(06-XX) 8 交换代数(13-XX) 7 非结合环和代数(17-XX) 7 算子理论(47-XX) 7 概率论与随机过程(60-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 三 测量和集成(28-XX) 三 动力系统和遍历理论(37至XX) 三 微分几何(53至XX) 三 统计力学,物质结构(82-XX) 三 相对论和引力理论(83至XX) 2 总体主题;集合(00-XX) 2 一般代数系统(08-XX) 2 \(K\)理论(19-XX) 2 拓扑群、李群(22日至XX日) 2 一般拓扑结构(54至XX) 2 粒子和系统力学(70-XX) 2 光学、电磁理论(78-XX) 2 系统论;控制(93至XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 几个复变量和分析空间(32-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 整体分析,流形分析(58至XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文