编辑配置文件(在新选项卡中打开) Hou(Favonia)、Kuen-Bang 合著者距离 作者ID: 侯宽邦 发布日期: Hou(Favonia)、Kuen-Bang;Hou,Kuen-Bang先生;侯建邦(Favonia) 更多。。。较少的 主页: http://www.math.ias.edu/~法沃尼亚/ 外部链接: 逆戟鲸·谷歌学者·数据库许可证 已编制索引的文档: 7出版物自2015年起,包括1个附加arXiv预打印 2进一步捐款 合著者: 10位合著者具有9联合出版物 218合著作者 全部的 前5名合著者 0 单作者的 5 罗伯特·哈珀 4 卡洛·安吉利 2 纪尧姆·布鲁内利 2 可口、蒂埃里 2 埃里克·芬斯特 2 丹·利卡塔 2 丹尼尔·李卡塔(Daniel R.Licata)。 2 彼得·勒法努·卢姆斯代恩 2 Michael A.舒尔曼。 1 阿卡尔(Umut A.Acar)。 1 彼得·阿策尔 1 阿加瓦尔,阿什什 1 阿伦斯,贝内迪克特 1 托尔斯滕阿尔滕基奇 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 尼克·本顿 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 乌尔里克·巴赫霍尔茨 1 埃文·卡瓦洛 1 佩里·程 1 西里尔·科恩 1 罗伯特·李,警察 1 皮埃尔·卢伊斯·居里 1 德里克·德雷尔(Derek R.Dreyer)。 1 彼得·戴比杰 1 尼古拉·甘比诺 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马汀 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 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 溅出物,Bas 1 丹尼尔·斯波恩豪威尔 1 乔纳森·斯特林 1 克里斯托弗·斯通(Christopher A.Stone)。 1 约瑟夫·塔萨罗蒂 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 系列 2 函数编程杂志 1 计算机科学中的数学结构 1 计算机科学中的逻辑方法 全部的 前5名领域 8 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 三 范畴理论;同调代数(18-XX) 1 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用22中的次19文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 222 2013 笛卡尔立方计算类型理论:具有路径和等式的构造性推理。 Zbl 07533331号 卡洛·安吉利;侯(Favonia)Kuen Bang;罗伯特·哈珀 9 2018 同伦类型理论中Blakers-Massey连通性定理的机械化。 Zbl 1395.55011号 Hou(Favonia)、Kuen-Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 7 2016 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉利;纪尧姆·布鲁内利;可口、蒂埃里;罗伯特·哈珀;Hou(Favonia)、Kuen-Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 同伦类型理论中的Seifert-van-Kampen定理。 Zbl 1370.03015号 Hou(Favonia)、Kuen-Bang;迈克尔·舒尔曼 2 2016 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉利;纪尧姆·布鲁内利;可口、蒂埃里;罗伯特·哈珀;Hou(Favonia)、Kuen-Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 笛卡尔立方计算类型理论:具有路径和等式的构造性推理。 Zbl 07533331号 卡洛·安吉利;侯建邦(Favonia);罗伯特·哈珀 9 2018 同伦类型理论中Blakers-Massey连通性定理的机械化。 Zbl 1395.55011号 Hou(Favonia)、Kuen-Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 7 2016 同伦类型理论中的Seifert-van-Kampen定理。 Zbl 1370.03015号 Hou(Favonia)、Kuen-Bang;迈克尔·舒尔曼 2 2016 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 222 2013 所有引用出版物 前5名被引用出版物 全部的 前5名34位作者引用 三 卡洛·安吉利 2 纪尧姆·布鲁内利 2 丹尼尔·格拉泽 2 Hou(Favonia)、Kuen-Bang 2 尼古拉·克劳斯 2 丹尼尔·李卡塔(Daniel R.Licata)。 2 Mörtberg,安德斯 2 Michael A.舒尔曼。 2 乔纳森·斯特林 1 安德烈亚斯·阿贝尔。 1 马修·阿内尔 1 丹尼尔·安嫩科夫 1 安德烈·鲍尔 1 布鲁诺·本岑 1 乔治·比德曼 1 鲍利耶,西蒙 1 乌尔里克·巴赫霍尔茨 1 保罗·卡普里奥蒂 1 可口、蒂埃里 1 埃里克·芬斯特 1 丹尼尔·理查德·格雷森 1 罗伯特·哈珀 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 新,Max S。 1 埃格伯特·里杰克 1 克里斯蒂安·萨特勒 1 溅出物,Bas 1 安德鲁·斯旺。 1 苏米奥·卡罗尔 1 尼古拉斯·塔巴鲁 1 安德烈亚·维佐西 1 雅各布·冯·劳默 全部的 前5名7篇连载文章中引用 6 计算机科学中的数学结构 4 计算机科学中的逻辑方法 2 自动推理杂志 2 美国数学学会公报。新系列 1 函数编程杂志 1 选择Mathematica。新系列 1 拓扑杂志 在4个字段中引用 14 数学逻辑和基础(03-XX) 10 代数拓扑(55-XX) 8 计算机科学(68至XX) 6 范畴理论;同调代数(18-XX) 按年份列出的引文