编辑配置文件(在新选项卡中打开) 罗朝晖 合著者距离 作者ID: 罗兆辉 发布日期: 罗朝晖 主页: https://www.cs.rhul.ac.uk/home/zhaohui网站/ 外部链接: 接地 已编制索引的文档: 46出版物自1989年起,包括1本书 1作为编辑的贡献·1进一步贡献 合著者: 13合著者具有29联合出版物 251合著作者 全部的 前5名合著者 14 单作者的 7 索洛夫·弗拉基米洛维奇 6 斯特吉奥斯·查齐基里亚基迪斯 5 罗宾·亚当斯 4 保罗·T·卡拉汉。 4 罗勇 2 薛涛 1 彼得·阿策尔 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 西里尔·科恩 1 罗伯特·李警官 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 冯、杨跃 1 冯元元 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马汀 1 Hou(Favonia)、Kuen-Bang 1 约翰·弗雷德里克·贾丁 1 亚历克斯·琼斯。 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 Robert Kießling先生 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 乔治亚娜·伦古(Georgiana E.Lungu)。 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 詹姆斯·麦金纳 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 聂伟福 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 罗伯特·波拉克 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索索、马蒂厄 1 溅出物,Bas 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 薛、陶雪 1 诺姆·齐尔伯格 1 周勇(Zhou,Yong) 全部的 前5名系列 4 MSCS公司。计算机科学中的数学结构 三 信息与计算 三 逻辑、语言与信息杂志 2 现代物理快报A 2 纯逻辑与应用逻辑年鉴 1 数学物理杂志 1 剑桥哲学学会数学进展杂志 1 自动推理杂志 1 逻辑与计算杂志 1 函数编程杂志 1 ACM计算逻辑事务 1 国际计算机科学专著系列 1 计算机科学课堂讲稿 全部的 前5名字段 34 数学逻辑和基础(03-XX) 31 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 2 量子理论(81-XX) 2 相对论和引力理论(83至XX) 1 代数几何(14-XX) 1 偏微分方程(35-XX) 1 代数拓扑(55-XX) 1 流体力学(76-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用189中的次92文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 计算和推理。计算机科学的一种类型理论。 Zbl 0823.68101号 罗朝晖 38 1994 ECC是一种扩展的构造演算。 Zbl 0723.03034号 罗朝晖 24 1989 强制子类型。 Zbl 0920.03062号 罗朝晖 19 1999 具有强制子类型和Universe的LF实现。 Zbl 1023.03020号 保罗·卡拉汉;罗朝晖 10 2001 强制分型:理论与实施。 兹比尔1267.03042 罗朝晖;索洛维耶夫,S。;薛、陶雪 10 2013 类型理论语义学中词义的上下文分析。 Zbl 1333.03098号 罗朝晖 8 2011 一种高阶微积分和理论抽象。 Zbl 0719.03004号 罗朝晖 8 1991 类型理论中的强制子类型。 Zbl 0882.03029号 罗朝晖 7 1997 作为类型的常用名词。 兹比尔1291.03059 罗朝晖 7 2012 形容词和状语修饰:现代类型理论的观点。 Zbl 1420.03055号 斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 5 2017 Coq中的自然语言推理。 Zbl 1305.68193号 斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 5 2014 强制子类型中的强制完成和保守性。 Zbl 1011.03017号 谢尔盖·索洛维耶夫;罗朝晖 4 2002 依赖类型的统一理论:图解法。 Zbl 0978.03521号 罗朝晖 4 1992 Weyl的谓词经典数学是一种逻辑丰富的类型理论。 Zbl 1178.03019号 罗宾·亚当斯;罗朝晖 4 2007 强制子类型中的及物性。 Zbl 1064.03021号 罗朝晖;罗勇 4 2005 较高的主束。 Zbl 1109.18007号 杰夫·贾丁。;罗,Z。 4 2006 Weyl的谓词经典数学是一种逻辑丰富的类型理论。 Zbl 1351.03002号 罗宾·亚当斯;罗朝晖 4 2010 现代类型理论中的形式语义学:是模型理论的、证明理论的,还是两者兼而有之? Zbl 1291.03060号 罗朝晖 4 2014 PAL\(^+\):无lambda-free逻辑框架。 Zbl 1038.03035号 罗朝晖 三 2003 自然语言语义的证明助手。 Zbl 1483.68456号 斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 三 2016 点类型及其实现。 Zbl 1291.68406号 薛涛;罗朝晖 三 2012 多态类型系统中的强制。 Zbl 1153.68010号 罗朝晖 2 2008 强制子类型的一些算法和证明理论方面。 Zbl 0927.03081号 亚历克斯·琼斯;罗朝晖;谢尔盖·索洛维耶夫 2 1998 类型理论中的程序规范和数据细化。 Zbl 0791.68109号 罗朝晖 1 1993 数学语言中的数学方言和概念完形性。 Zbl 0934.03016号 罗朝晖;保罗·卡拉汉 1 1999 具有函数相等规则的归纳类型的结构子类型。 兹比尔1156.68017 罗朝晖;罗宾·亚当斯 1 2008 从属胁迫。 Zbl 0967.68047号 罗朝晖;谢尔盖·索洛维耶夫 1 1999 类型理论中的程序规范和数据细化。 兹比尔0967.68530 罗朝晖 1 1991 强制子类型中的弱及物性。 Zbl 1023.68017号 罗勇;罗朝晖;谢尔盖·索洛维耶夫 1 2003 关于具有退化粘性的Navier-Stokes方程局部经典解的存在性。 Zbl 1422.76150号 罗,Z。;周,Y。 1 2019 Demianski-Newman黑洞在更高能量尺度下的修正费米子隧穿辐射。 Zbl 1434.81137号 罗,Z。;兰,X.G。 1 2020 依赖记录类型的类型化操作语义。 Zbl 1457.68154号 冯、杨跃;罗朝晖 1 2011 相关事件类型。 Zbl 1496.03056号 罗朝晖;谢尔盖·索洛维耶夫 1 2017 强制性分型中的连贯性和及物性。 Zbl 1275.03077号 罗勇;罗朝晖 1 2001 经典的谓词逻辑丰富型理论。 Zbl 1231.03008号 罗宾·亚当斯;罗朝晖 1 2010 基于现代类型理论的形式语义学中的单调推理。 Zbl 1291.03058号 乔治亚娜·伦古(Georgiana E.Lungu)。;罗朝晖 1 2014 Demianski-Newman黑洞在更高能量尺度下的修正费米子隧穿辐射。 Zbl 1434.81137号 罗,Z。;兰,X.G。 1 2020 关于具有退化粘性的Navier-Stokes方程局部经典解的存在性。 Zbl 1422.76150号 罗,Z。;周,Y。 1 2019 形容词和状语修饰:现代类型理论的观点。 Zbl 1420.03055号 斯特吉奥斯查齐基里亚基迪斯;罗朝晖 5 2017 相关事件类型。 Zbl 1496.03056号 罗朝晖;谢尔盖·索洛维耶夫 1 2017 自然语言语义的证明助手。 Zbl 1483.68456号 斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 三 2016 Coq中的自然语言推理。 Zbl 1305.68193号 斯特吉奥斯查齐基里亚基迪斯;罗朝晖 5 2014 现代类型理论中的形式语义学:是模型理论的、证明理论的,还是两者兼而有之? Zbl 1291.03060号 罗朝晖 4 2014 基于现代类型理论的形式语义学中的单调推理。 Zbl 1291.03058号 Lungu,Georgiana E。;罗朝晖 1 2014 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 强制分型:理论与实施。 Zbl 1267.03042号 罗朝晖;索洛维耶夫,S。;薛、陶雪 10 2013 作为类型的常用名词。 Zbl 1291.03059号 罗朝晖 7 2012 点类型及其实现。 Zbl 1291.68406号 薛涛;罗朝晖 三 2012 类型理论语义学中词义的上下文分析。 Zbl 1333.03098号 罗朝晖 8 2011 依赖记录类型的类型化操作语义。 Zbl 1457.68154号 冯、杨跃;罗朝晖 1 2011 Weyl的谓词经典数学是一种逻辑丰富的类型理论。 Zbl 1351.03002号 罗宾·亚当斯;罗朝晖 4 2010 经典的谓词逻辑丰富型理论。 Zbl 1231.03008号 罗宾·亚当斯;罗朝晖 1 2010 多态类型系统中的强制。 Zbl 1153.68010号 罗朝晖 2 2008 具有函数相等规则的归纳类型的结构子类型。 Zbl 1156.68017号 罗朝晖;罗宾·亚当斯 1 2008 Weyl的谓词经典数学是一种逻辑丰富的类型理论。 Zbl 1178.03019号 罗宾·亚当斯;罗朝晖 4 2007 较高的主束。 Zbl 1109.18007号 杰夫·贾丁。;罗,Z。 4 2006 强制子类型中的及物性。 Zbl 1064.03021号 罗朝晖;罗勇 4 2005 PAL\(^+\):一个无lambda的逻辑框架。 Zbl 1038.03035号 罗朝晖 三 2003 强制子类型中的弱及物性。 Zbl 1023.68017号 罗勇;罗朝晖;谢尔盖·索洛维耶夫 1 2003 强制分型中的强制完成性和保守性。 Zbl 1011.03017号 谢尔盖·索洛维耶夫;罗朝晖 4 2002 具有强制子类型和Universe的LF实现。 Zbl 1023.03020号 保罗·卡拉汉;罗朝晖 10 2001 强制性分型中的连贯性和及物性。 Zbl 1275.03077号 罗勇;罗朝晖 1 2001 强制子类型。 Zbl 0920.03062号 罗朝晖 19 1999 数学语言中的数学方言和概念完形性。 Zbl 0934.03016号 罗朝晖;保罗·卡拉汉 1 1999 从属胁迫。 Zbl 0967.68047号 罗朝晖;谢尔盖·索洛维耶夫 1 1999 强制子类型的一些算法和证明理论方面。 Zbl 0927.03081号 亚历克斯·琼斯;罗朝晖;谢尔盖·索洛维耶夫 2 1998 类型理论中的强制子类型。 Zbl 0882.03029号 罗朝晖 7 1997 计算和推理。计算机科学的一种类型理论。 Zbl 0823.68101号 罗朝晖 38 1994 类型理论中的程序规范和数据细化。 Zbl 0791.68109号 罗朝晖 1 1993 依赖类型的统一理论:图解法。 Zbl 0978.03521号 罗朝晖 4 1992 高阶微积分和理论抽象。 Zbl 0719.03004号 罗朝晖 8 1991 类型理论中的程序规范和数据细化。 Zbl 0967.68530号 罗朝晖 1 1991 ECC是一种扩展的构造演算。 Zbl 0723.03034号 罗朝晖 24 1989 所有引用出版物 前5名被引用出版物 全部的 前5名105位作者引用 14 罗朝晖 6 斯特吉奥斯查齐基里亚基迪斯 6 克劳迪奥·萨塞尔多蒂·科恩 5 简·赫尔曼·杰弗斯 5 索洛夫·弗拉基米洛维奇 5 恩里科·塔西 4 乔纳森·塞尔丁。 三 罗宾·亚当斯 三 安德烈亚·阿斯佩蒂 三 阿诺·阿夫隆 三 吉尔·巴特 三 Lars Birkedal公司 三 克里斯蒂安·雷托雷 2 大卫·阿斯皮纳尔 2 Jean-Philippe Bernardy 2 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 2 伏玉溪 2 Healfdene戈根 2 罗伯特·哈珀 2 莫格尔贝里,拉斯穆斯·埃杰勒斯 2 伊沃·佩兹拉 2 Randy波拉克 2 罗伯特·波拉克 2 威尔默·里奇奥蒂 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 Yohji阿卡玛 1 尼古拉斯·M·阿舍。 1 S.N.巴拉诺夫。 1 亨德里克·彼得·巴伦德雷格特 1 安德烈·鲍尔 1 阿列舍·比兹亚克 1 博斯,纳撒尼尔 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 马丁·邦德。 1 朱塞佩·卡斯塔尼亚 1 Chemouil,大卫 1 陈刚 1 拉纳德·A·克鲁斯顿。 1 杰斯珀·考克斯 1 罗伯特·李警官 1 罗宾·库珀 1 科内斯,克里斯蒂娜 1 罗伊·克罗。 1 多米尼克·德夫里塞 1 彼得·戴比杰 1 雅克·弗莱里奥。 1 扬尼克·福斯特 1 丹尼尔·弗里德兰德 1 雅克·加里格 1 吉恩·吉利伯特 1 朱利安·格罗夫 1 朱斯特纳·格鲁季安斯卡 1 费卢西奥·圭迪 1 Susumu Hayashi 1 何继峰 1 Furio Honsell 1 黄雪晶 1 古尔古伊一世Jojgov。 1 Fairouz D.卡马雷丁。 1 安斯滕·默奇·克莱夫 1 阿格涅斯卡·科祖贝克 1 马克·拉森 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 罗勇 1 萨维·马哈拉吉 1 马拉霍夫斯基,J。 1 巴赛尔·曼纳 1 Aleksandre Maskharashvili 1 伊恩·梅森。 1 康诺·托马斯·麦克布莱德 1 詹姆斯·麦金纳 1 斯特凡·莫尼尔 1 穆特,理查德 1 格雷格·莫里塞特 1 阿列克桑达尔·纳内夫斯基 1 罗伯·奈德佩尔特 1 史蒂文·奥布阿 1 布鲁诺·C·d·S·奥利维拉。 1 奥雷,克里斯蒂安·埃米尔 1 米盖尔·帕加诺 1 弗兰克·皮森斯 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 拉克拉夫斯克,吉伊 1 阿恩·兰塔 1 利维,真的 1 马克·鲁伊斯 1 佐藤,Masahiro 1 达娜·斯图尔特·斯科特 1 菲尔·斯科特 1 盛,冯 1 亚历克斯·K·辛普森。 1 溅出物,Bas 1 特拉西,Delphine 1 巴威·乌尔兹琴 1 van Benthem Juting,洛杉矶。 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 Wells,Joe B。 1 弗里克·威迪杰克 1 薛涛 1 杨宗元 …还有5位作者 全部的 前5名18篇连载文章中引用 10 MSCS公司。计算机科学中的数学结构 9 逻辑、语言与信息杂志 5 信息与计算 4 理论计算机科学 4 纯逻辑与应用逻辑年鉴 4 函数编程杂志 4 应用逻辑杂志 2 计算机科学与技术杂志 2 自动推理杂志 2 计算的形式方面 2 数学科学杂志(纽约) 2 符号逻辑公报 2 RAIRO公司。理论信息学及其应用 1 符号计算杂志 1 Indagationes Mathematicae公司。新系列 1 逻辑与逻辑哲学 1 泛逻辑 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 68 数学逻辑和基础(03-XX) 58 计算机科学(68至XX) 6 范畴理论;同调代数(18-XX) 三 代数拓扑(55-XX) 2 历史和传记(01-XX) 1 总体主题;集合(00-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文