罗伊·克罗尔
人员信息
附属: 英国莱斯特大学
优化列表
2020年–今天
2020 [公元10年] 罗伊·克罗尔 :
名义/FM Yoneda引理。 数学。 结构。 计算。 科学。 30 ( 9 ) : 1011-1024 ( 2020 ) [公元9年] 雷磊石 , 陆柳 , 吴彦(Yan Wu) , 梁江 , 约翰·潘内塞尔瓦姆 , 罗伊·克罗尔 :
社交媒体数据流中用于事件检测和用户影响发现的社交感知模型。 IEEE传输。 计算。 社会系统。 7 ( 1 ) : 141-150 ( 2020 ) [第17条] 萨缪尔·布鲁 , 罗伊·克罗尔 , 伊莎贝拉·马斯特罗尼 :
多语言的等式逻辑和集合理论模型。 信息通信与通信系统 2020 : 236-249 [第16条] 萨缪尔·布鲁 , 罗伊·克罗尔 , 伊莎贝拉·马斯特罗尼 :
多语言的等式逻辑和范畴语义。 MFPS公司 2020 : 79-103 [第15条] 萨缪尔·布鲁 , 罗伊·克罗尔 , 伊莎贝拉·马斯特罗尼 :
关于多语言抽象——走向对多语言程序的静态分析。 SAS公司 2020 : 310-332
2010 – 2019
2015 [第14条] 罗伊·克罗尔 , 艾米·伊丽莎白·福尼丝 :
规范混合:使用依赖类型扩展混合。 LSFA公司 2015 : 125-142 2013 [第13条] 罗伊·克罗尔 , 弗兰克·内贝尔 :
名义Lambda演算:FM-Cartisian闭范畴的内部语言。 MFPS公司 2013 : 93-117 2012 [j8] 罗伊·克罗尔 :
阿尔法等价等式。 西奥。 计算。 科学。 433 : 1-19 ( 2012 ) 2011 [j7] 罗伊·克罗尔 :
混合动力的代表性充分性。 数学。 结构。 计算。 科学。 21 ( 三 ) : 585-646 ( 2011 )
2000 – 2009
2003 [第12条] 罗伊·克罗尔 :
句法模型的基本范畴理论。 通用程序设计 2003 : 133-177 [第11条] S.J.Ambler先生 , 罗伊·克罗尔 , 阿尔贝托·莫米利亚诺 :
在高阶抽象语法上,原始凸递归的定义方法。 梅林 2003 2002 [第10条] 西蒙·安布勒 , 罗伊·克罗尔 , 阿尔贝托·莫米利亚诺 :
将高阶抽象句法与战术定理证明和(协同)归纳相结合。 TPHOL公司 2002 : 13-30 【c9】 阿尔贝托·莫米利亚诺 , 西蒙·安布勒 , 罗伊·克罗尔 :
建立双相似同余的Howe方法的混合编码。 线性调频 2002 : 60-75 [电子2] 罗兰·卡尔·巴克豪斯 , 罗伊·L·克罗尔 , 杰里米·吉本斯 :
2000年4月10日至14日,英国牛津,国际暑期学校和工作坊,程序建设数学中的代数和代数方法,修订讲座。 计算机科学讲义 2297, 施普林格 2002 ,国际标准图书编号 3-540-43613-8 [目录] 2001 [j6] 罗伊·克罗尔 :
线性理论中上下文等价的双相似性的完备性。 日志。 J.IGPL公司 9 ( 1 ) : 27-51 ( 2001 ) 【c8】 西蒙·安布勒 , 罗伊·克罗尔 , 阿尔贝托·莫米利亚诺 :
前言:2001年变量绑定语言的机械化推理。 梅林 2001 : 115-116 [e1] 西蒙·安布勒 , 罗伊·克罗尔 , 阿尔贝托·莫米利亚诺 :
《关于具有变量绑定的语言的机械化推理》,MERLIN 2001,与IJCAR 2001相关,意大利锡耶纳,2001年6月18日。 理论计算机科学电子笔记 58(1), 爱思维尔 2001 [目录] 2000 [j5] 罗伊·克罗尔 :
在对象计算中编码FIX。 RAIRO提奥。 信息学应用。 34 ( 1 ) : 15-38 ( 2000 ) [c7] 罗伊·克罗尔 :
导言。 程序构造数学中的代数和余代数方法 2000 : 1-20
1990 – 1999
1999 【j4】 罗伊·L·克罗尔 , 安德鲁·戈登 :
为输入/输出效果关联操作语义和指称语义。 数学。 结构。 计算。 科学。 9 ( 2 ) : 125-158 ( 1999 ) 【c6】 西蒙·安布勒 , 罗伊·克罗尔 :
通过(共同)归纳的机械化操作语义。 TPHOL公司 1999 : 221-238 1996 [j3] 罗伊·克罗尔 :
在定点对象和粘合结构上。 申请。 分类结构。 4 ( 2-3 ) : 251-281 ( 1996 ) 1994 [注2] 罗伊·克罗尔 :
FIX-Logic的计算充分性。 西奥。 计算。 科学。 136 ( 1 ) : 217-242 ( 1994 ) 【c5】 罗伊·克罗尔 , 安德鲁·戈登 :
输入/输出效果的合理元语义。 CSL公司 1994 : 339-353 【c4】 罗伊·L·克罗尔 , 西蒙·盖伊 , 拉贾戈帕尔·纳加拉扬 :
交互类别的内部语言。 理论与形式方法 1994 : 85-104 1993 【b2】 罗伊·克罗尔 :
类型的类别。 剑桥数学教科书 , 剑桥大学出版社 1993 ,国际标准图书编号 978-0-521-45701-9 第I-XVII页,1-335页 【c3】 罗伊·克罗尔 , 安德鲁·戈登 :
保理充分性证明(初步报告)。 函数式编程 1993 : 9-25 【c2】 罗伊·克罗尔 :
从类型理论衍生出范畴理论。 理论与形式方法 1993 : 15-26 1992 [j1] 罗伊·克罗尔 , 安德鲁·皮特斯 :
定点计算的新基础:FIX-Hyperdoctines和FIX-Logic。 Inf.计算。 98 ( 2 ) : 171-210 ( 1992 ) 1991 【b1】 罗伊·克罗尔 :
使用定点类型编程元逻辑。 英国剑桥大学, 1991 1990 【c1】 罗伊·克罗尔 , 安德鲁·皮特斯 :
定点计算的新基础。 低收入国家 1990 : 489-497