×
作者ID: 罗兆辉“罗朝晖”最近发表的zbMATH文章
发布日期: 罗朝晖
主页: 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)

按年份列出的出版物

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名

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位作者

按年份列出的引文