编辑配置文件（在新选项卡中打开） 溅出物，Bas 合著者距离 作者ID： 随地吐痰 发布日期： 溅出物，Bas;蜘蛛，B。 主页： http://users-cs.au.dk/spitters网站/ 外部链接： MGP公司·ORCID公司·谷歌学者·ResearchGate研究之门·数据库管理程序 已编制索引的文档： 47出版物自2000年以来，包括2个附加arXiv预打印 1名编辑贡献·1进一步贡献 审查活动： 6评论 合著者： 43位合著者具有37联合出版物 692合作作者 全部的 前5名合著者 12 单作者的 8 可口、蒂埃里 6 克里斯·希恩 6 尼古拉斯·P·兰德斯曼。 4 埃格伯特，里克 3 拉尔斯·比克达尔 3 拉纳德·A·克鲁斯顿。 2 安德烈·鲍尔 2 阿列舍·比兹亚克 2 汉斯·布格·格雷斯沃尔 2 克雷伯斯，罗伯特 2 彼得·勒法努·卢姆斯代恩 2 埃里克·帕尔姆格伦 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 Michael A.舒尔曼。 2 索索、马蒂厄 2 埃利斯·范德维根 2 安德烈亚·维佐西 2 桑德·沃尔特斯（Sander A.M.Wolters）。 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 托尔斯滕阿尔滕基奇 1 卡洛·安吉乌利 1 丹尼尔·安尼科夫 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 伊夫·贝托特 1 马克·贝泽姆 1 Bidlingmaier，Martin E。 1 安东尼·博尔吉 1 道格拉斯·苏思·布里奇斯 1 纪尧姆·布鲁内里 1 卡斯珀斯，马蒂恩 1 西里尔·科恩 1 罗伯特·李，警察 1 路易斯·克鲁兹·菲利佩 1 皮埃尔·卢伊斯·居里 1 彼得·迪布杰 1 弗洛里安·费索 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 Richard加纳 1 简·赫尔曼·杰弗斯 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 杰森·格罗斯 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 Hötzel Escardó，马汀 1 Hou（Favonia）、Kuen-Bang 1 石原、Hajime 1 巴特·雅各布斯 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹，利卡塔 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 罗兆辉 1 阿西娅·马赫布比 1 叶夫根·马卡罗夫 1 巴赛尔·曼纳 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 米克尔·米洛 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 格雷格·莫里塞特 1 迈克尔·纳哈斯 1 尼尔森，雅各布·博茨 1 米拉德·尼基 1 罗素·奥康纳 1 伊恩·奥尔顿 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 彼得·塞林格 1 迈克·舒尔曼 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 1 本诺·范登伯格 1 维姆·维尔德曼 1 史蒂文·维克斯 1 弗拉基米尔·阿列克桑德罗维奇（Vladimir Aleksandrovich） 1 沃伦、迈克尔·奥尔顿 1 弗里克·威迪杰克 1 诺姆·泽尔伯格 全部的 前5名系列 5 MSCS公司。计算机科学中的数学结构 3 《数理逻辑季刊》 3 计算机科学中的逻辑方法 3 逻辑与分析杂志 2 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 Indagationes Mathematicae公司。新系列 2 通用计算机科学杂志 2 物理学基础 1 数学物理中的通信 1 剑桥哲学学会数学进展杂志 1 合成 1 理论计算机科学 1 订单 1 自动推理杂志 1 函数编程杂志 1 尼乌档案馆（Nieuw Archief voor Wiskunde）。Vijfde系列 1 澳大利亚数学学会杂志 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 33 数学逻辑和基础（03-XX） 15 功能分析（46倍X倍） 11 计算机科学（68至XX） 10 范畴理论；同调代数（18-XX） 10 代数拓扑（55-XX） 8 量子理论（81-XX） 7 有序，格，有序代数结构（06-XX） 7 测量和集成（28-XX） 3 算子理论（47-XX） 3 数值分析（65-XX） 2 实函数（26年X月X日） 2 动力系统和遍历理论（37至XX） 1 总体主题；集合（00-XX） 1 结合环与代数（16-XX） 1 拓扑群、李群（22日至XX日） 1 常微分方程（34-XX） 1 抽象谐波分析（43至XX） 1 相对论和引力理论（83至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用278中的次191文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 代数量子理论的拓扑。 Zbl 1209.81147号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 43 2009 同伦类型理论模型中的内部宇宙。 Zbl 1462.03010号 丹尼尔·李卡塔（Daniel R.Licata）。;伊恩·奥尔顿;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas 20 2018 同伦类型理论中的模态。 Zbl 1489.03005号 埃格伯特，里克;迈克尔·舒尔曼;溅出物，Bas 19 2020 算子代数和量子逻辑的玻色化。 Zbl 1275.03166号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 17 2012 Coq中常微分方程的Picard算法。 Zbl 1317.68222号 叶夫根·马卡洛夫;溅出物，Bas 14 2013 类型理论中的数学类型课程。 Zbl 1223.68105号 溅出物，Bas;埃利斯·范德维根 14 2011 积分和估值。 Zbl 1245.03098号 可口、蒂埃里;溅出物，Bas 13 2009 非交换C^*-代数的Gelfand谱：拓扑理论方法。 Zbl 1223.46062号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas;桑德·沃尔特斯 11 2011 （n）能级系统的直觉量子逻辑。 Zbl 1206.81012号 卡斯珀斯，马蒂恩;克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 11 2009 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas 11 2020 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 Zbl 1120.03049号 Coquand，T。;蜘蛛，B。 9 2005 计算机验证的积分的一元函数实现。 Zbl 1209.68108号 罗素·奥康纳;溅出物，Bas 9 2010 中高效精确实数运算的类型类Coq公司. Zbl 1260.68378号 克雷伯斯，罗伯特;溅出物，Bas 8 2013 构造性分析、类型和精确实数。 Zbl 1157.03036号 赫尔曼·格乌弗斯;米拉德·尼基;溅出物，Bas;弗里克·威迪杰克 7 2007 C-代数的构造Gelfand对偶。 Zbl 1183.46052号 可口、蒂埃里;溅出物，Bas 7 2009 同伦类型理论中的集合。 Zbl 1362.03007号 埃格伯特，里克;溅出物，Bas 7 2015 神圣化。 Zbl 1234.81025号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 7 2011 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物，Bas;安德烈亚·维佐西 6 2019 保护立方体类型理论：保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物，Bas;安德烈亚·维佐西 6 2016 从大型验证开发中提取的程序。 Zbl 1279.68287号 路易斯·克鲁兹·菲利佩;溅出物，Bas 5 2003 Coq中的计算机认证有效精确实数。 Zbl 1260.68377号 克雷伯斯，罗伯特;溅出物，Bas 4 2011 度量结果空间作为非交换代数的谱不变量。 Zbl 1259.81013号 溅出物，Bas 4 2012 位置和明显的子区域。 Zbl 1223.03053号 溅出物，Bas 3 2010 关于遍历定理的建设性观点。 Zbl 1106.03052号 溅出物，Bas 3 2006 在Coq中使用类型类开发代数层次结构。 兹比尔1291.68370 溅出物，Bas;埃利斯·范德维根 3 2010 定位操作员。 Zbl 1041.03050号 溅出物，Bas 2 2002 显闭集的度量补。 兹比尔1251.03084 可口、蒂埃里;埃里克·帕尔姆格伦;溅出物，Bas 2 2011 用伴随确定算子的范围。 Zbl 1092.47063号 道格拉斯·布里奇斯;石原、Hajime;溅出物，Bas 2 2002 算子代数的构造结果。 Zbl 1125.46059号 蜘蛛，B。 2 2005 构造性代数积分理论。 邮编1099.28009 溅出物，Bas 2 2006 第八届量子物理和逻辑国际研讨会，荷兰奈梅亨，2011年10月27日至29日。诉讼程序。 Zbl 1391.81010号 2 2012 广义方差原理。 Zbl 1153.83335号 希恩，C。;北卡罗来纳州兰德斯曼。;蜘蛛，B。 1 2008 Banach代数的构造理论。 Zbl 1285.03073号 可口、蒂埃里;溅出物，Bas 1 2010 使用几何数学在Grothendieck拓扑中的Gelfand谱。 Zbl 1471.81044号 溅出物，Bas;史蒂文·维克斯;桑德·沃尔特斯 1 2014 可计算分布在概率程序语义中的应用。 Zbl 07311043号 丹尼尔·黄;格雷格·莫里塞特;溅出物，Bas 1 2021 概率规划同伦型理论中的合成拓扑。 Zbl 1517.68072号 Bidlingmaier，Martin E。;弗洛里安·费索尔;溅出物，Bas 1 2021 可计算分布在概率程序语义中的应用。 兹伯利07311043 丹尼尔·黄;格雷格·莫里塞特;溅出物，Bas 1 2021 概率规划同伦类型理论中的合成拓扑。 Zbl 1517.68072号 Bidlingmaier，Martin E。;弗洛里安·费索尔;溅出物，Bas 1 2021 同伦类型理论中的模态。 Zbl 1489.03005号 埃格伯特，里克;迈克尔·舒尔曼;溅出物，Bas 19 2020 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas 11 2020 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物，Bas;安德烈亚·维佐西 6 2019 同伦类型理论模型中的内部宇宙。 Zbl 1462.03010号 丹尼尔·李卡塔（Daniel R.Licata）。;伊恩·奥尔顿;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas 20 2018 保护立方类型理论：保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔;阿列舍·比兹亚克;拉纳德·克鲁斯顿;汉斯·布格·格雷斯沃尔;溅出物，Bas;安德烈亚·维佐西 6 2016 同伦论中的集合。 Zbl 1362.03007号 埃格伯特，里克;溅出物，Bas 7 2015 使用几何数学在Grothendieck拓扑中的Gelfand谱。 Zbl 1471.81044号 溅出物，Bas;史蒂文·维克斯;桑德·沃尔特斯 1 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 Coq中常微分方程的Picard算法。 Zbl 1317.68222号 叶夫根·马卡洛夫;溅出物，Bas 14 2013 中高效精确实数运算的类型类Coq公司. Zbl 1260.68378号 克雷伯斯，罗伯特;溅出物，Bas 8 2013 算子代数和量子逻辑的玻色化。 Zbl 1275.03166号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 17 2012 度量结果空间作为非交换代数的谱不变量。 Zbl 1259.81013号 溅出物，Bas 4 2012 第八届量子物理和逻辑国际研讨会，荷兰奈梅亨，2011年10月27日至29日。诉讼程序。 Zbl 1391.81010号 2 2012 类型理论中的数学类型课程。 Zbl 1223.68105号 溅出物，Bas;埃利斯·范德维根 14 2011 非交换C^*-代数的Gelfand谱：拓扑理论方法。 Zbl 1223.46062号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas;桑德·沃尔特斯 11 2011 神圣化。 Zbl 1234.81025号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 7 2011 Coq中的计算机认证有效精确实数。 Zbl 1260.68377号 克雷伯斯，罗伯特;溅出物，Bas 4 2011 显闭集的度量补。 兹比尔1251.03084 可口、蒂埃里;埃里克·帕尔姆格伦;溅出物，Bas 2 2011 计算机验证的积分的一元函数实现。 Zbl 1209.68108号 运营；罗素·康纳;溅出物，Bas 9 2010 定位和显性子定位。 Zbl 1223.03053号 溅出物，Bas 3 2010 在Coq中开发具有类型类的代数层次结构。 Zbl 1291.68370号 溅出物，Bas;埃利斯·范德维根 3 2010 Banach代数的构造理论。 Zbl 1285.03073号 可口、蒂埃里;溅出物，Bas 1 2010 代数量子理论的拓扑。 Zbl 1209.81147号 克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 43 2009 积分和估值。 Zbl 1245.03098号 可口、蒂埃里;溅出物，Bas 13 2009 （n）能级系统的直觉量子逻辑。 Zbl 1206.81012号 卡斯珀斯，马蒂恩;克里斯·希恩;尼古拉斯·P·兰德斯曼。;溅出物，Bas 11 2009 C-代数的构造Gelfand对偶。 Zbl 1183.46052号 可口、蒂埃里;溅出物，Bas 7 2009 一般到方差的原理。 Zbl 1153.83335号 希恩，C。;北卡罗来纳州兰德斯曼。;蜘蛛，B。 1 2008 构造性分析、类型和精确实数。 Zbl 1157.03036号 赫尔曼·格乌弗斯;米拉德·尼基;溅出物，Bas;弗里克·威迪杰克 7 2007 关于遍历定理的建设性观点。 兹伯利1106.03052 溅出物，Bas 3 2006 构造性代数积分理论。 邮编1099.28009 溅出物，Bas 2 2006 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 Zbl 1120.03049号 Coquand，T。;蜘蛛，B。 9 2005 算子代数的构造结果。 Zbl 1125.46059号 蜘蛛，B。 2 2005 从大型验证开发中提取的程序。 Zbl 1279.68287号 路易斯·克鲁兹·菲利佩;溅出物，Bas 5 2003 定位操作员。 Zbl 1041.03050号 溅出物，Bas 2 2002 用伴随确定算子的范围。 Zbl 1092.47063号 道格拉斯·布里奇斯;石原、Hajime;溅出物，Bas 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名252位作者引用 18 溅出物，Bas 9 克里斯·希恩 6 可口、蒂埃里 6 安德烈亚斯·多林 5 简·哈姆哈特 5 纪尧姆·梅尔金德 5 安德鲁·皮特斯（Andrew M.Pitts）。 5 埃格伯特，里克 5 叶卡捷琳娜·图里洛娃。 4 西尔维·博尔多 4 尼古拉斯·P·兰德斯曼。 4 莫格尔贝里，拉斯穆斯·埃杰勒斯 4 克里斯蒂安·萨特勒 3 拉尔斯·比克达尔 3 道格拉斯·苏思·布里奇斯 3 乌尔里克·巴赫霍尔茨 3 乔纳森·赫拉斯 3 卡拉科斯塔斯、瓦西里奥斯 3 卡夫沃斯，G.A。 3 阿西娅·马赫布比 3 中山，昆士 3 罗素·奥康纳 3 伊恩·奥尔顿 3 碧姬·品特卡 3 安德烈·普拉泽 3 曼努埃尔·L·雷耶斯。 3 Laurent Théry 3 上村，太极 3 安德烈亚·维佐西 3 桑德·沃尔特斯（Sander A.M.Wolters）。 3 伊莱亚斯·扎菲里斯 2 马修·阿内尔 2 丹尼尔·安尼科夫 2 杰里米·阿维加德 2 乌尔里希·伯杰 2 乔治·比德曼 2 阿列舍·比兹亚克 2 罗斯·波勒 2 陈伟 2 毕沙尔·切特里 2 J.Daniel克里斯滕森 2 弗朗索瓦·克莱门特 2 拉纳德·A·克鲁斯顿。 2 路易斯·克鲁兹·菲利佩 2 克里斯蒂安·德·隆德 2 格雷西拉·多梅内克 2 塞萨尔·多明格斯 2 弗洛里安·费索尔 2 埃里克·芬斯特 2 马库斯·弗伦姆斯 2 赫克托·弗雷特斯 2 丹尼尔·格拉泽 2 约翰·Hölzl 2 胡杰森Z.S。 2 西蒙·胡贝尔 2 费比安·伊姆勒 2 石原、Hajime 2 巴特·雅各布斯 2 安德烈·乔亚尔 2 卡瓦伊、达松吉 2 安德烈·科内尔 2 克雷伯斯，罗伯特 2 凯瑟琳·勒雷 2 林冰生 2 巴赛尔·曼纳 2 米凯拉·梅耶罗 2 安德斯·莫特伯格 2 安德烈亚斯·努伊茨 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 坂口和彦 2 Carani B.Sanjeevi。 2 彼得·施奈德·坎普 2 乌尔里希·舍普 2 路易斯·内里奥·斯科科拉 2 Michael A.舒尔曼。 2 托马斯·西布特·皮诺特 2 佛罗里达州斯坦伯格 2 Thies，霍尔格 2 达苏·克里希纳·基兰（Dasu Krishna Kiran Vamsi） 2 尼科洛Veltri 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 萨姆森·艾布拉姆斯基 1 雷纳尔德·阿弗尔德 1 丹尼尔·艾哈曼 1 杰西·阿拉玛 1 阿南德，阿比舍克 1 阿南斯，V.S。 1 卡洛·安吉乌利 1 菲利普·奥德巴德 1 帕特里克·巴尔 1 乔纳森·贝恩 1 霍华德·巴纳姆 1 海宁·巴索尔德 1 迈克尔·本·兹维 1 伊夫·贝托特 1 保罗·贝尔托齐尼 1 维杰·巴加特。 1 马克·比克福德 1 Bidlingmaier，Martin E。 1 Krzysztof比拉斯 …还有152位作者 全部的 前5名56篇连载文章被引用 22 MSCS公司。计算机科学中的数学结构 12 自动推理杂志 11 计算机科学中的逻辑方法 8 数学物理杂志 7 物理学基础 6 国际理论物理杂志 5 数学物理中的通信 5 理论计算机科学 4 合成 4 纯逻辑与应用逻辑年鉴 4 函数编程杂志 3 《数理逻辑季刊》 3 高层建筑 2 数学进展 2 代数杂志 2 纯粹与应用代数杂志 2 Studia Logica公司 2 美国数学学会会刊 2 订单 2 符号逻辑公报 2 ACM计算逻辑事务 2 计算机科学中的数学 2 科学史与哲学研究。第二部分近代物理史与哲学研究 2 计算和数学生物物理 1 以色列数学杂志 1 数学分析与应用杂志 1 剑桥哲学学会数学进展杂志 1 数学物理报告 1 代数普遍性 1 数学基础 1 符号逻辑杂志 1 计算机程序设计科学 1 计算的形式方面 1 国际数学杂志 1 数学说明 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 应用分类结构 1 数学科学杂志（纽约） 1 范畴的理论与应用 1 数学与人工智能年鉴 1 计算系统理论 1 软计算 1 新物理学杂志 1 洛巴切夫斯基数学杂志 1 澳大利亚数学学会杂志 1 应用逻辑杂志 1 Oberwolfach报告 1 非交换几何杂志 1 物理学报A：数学与理论 1 逻辑与分析杂志 1 数学论坛，西格玛 1 数学 1 程序设计中的逻辑和代数方法杂志 1 哲学学报A.伦敦皇家学会 全部的 前5名37个领域被引用 93 数学逻辑和基础（03-XX） 68 计算机科学（68至XX） 57 范畴理论；同调代数（18-XX） 47 量子理论（81-XX） 34 功能分析（46倍X倍） 23 代数拓扑（55-XX） 22 有序，格，有序代数结构（06-XX） 9 一般拓扑结构（54至XX） 8 测量和集成（28-XX） 7 数值分析（65-XX） 5 总体主题；集合（00-XX） 5 结合环与代数（16-XX） 5 算子理论（47-XX） 4 代数几何（14-XX） 4 非结合环与代数（17-XX） 4 实函数（26年X月X日） 4 动力系统和遍历理论（37至XX） 3 常微分方程（34-XX） 3 偏微分方程（35-XX） 3 生物学和其他自然科学（92-XX） 2 数论（11-XX） 2 交换代数（13-XX） 2 拓扑群、李群（22日至XX日） 2 变分法与最优控制；最优化（49至XX） 2 凸和离散几何（52至XX） 2 概率论与随机过程（60-XX） 2 统计学（62-XX） 2 相对论和引力理论（83至XX） 2 系统论；控制（93至XX） 1 场论和多项式（12-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 几何图形（51至XX） 1 整体分析，流形分析（58至XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文