保罗·布莱恩·利维
人员信息
附属: 英国伯明翰大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [电子3] 玛丽·柯让 , 保罗·布莱恩·利维 :
第39届编程语义数学基础会议论文集,MFPS XXXIX,印第安纳大学,美国印第安纳州布卢明顿,2023年6月21日至23日。 EPTICS公司 三, 认识科学 2023 [目录] 2022 [公元10年] 保罗·布莱恩·利维 :
呼叫推送值。 ACM SIGLOG新闻 9 ( 2 ) : 7-29 ( 2022 ) 2021 [公元9年] 侏罗纪腐朽 , 雅各布施 , 保罗·布莱恩·利维 :
步骤和轨迹。 J.日志。 计算。 31 ( 6 ) : 1482-1525 ( 2021 ) 2020 [i6] 侏罗纪腐朽 , 雅各布施 , 保罗·布莱恩·利维 :
台阶和痕迹。 CoRR公司 abs/2004.05400 ( 2020 )
2010 – 2019
2019 [c30] 保罗·布莱恩·利维 , 谢尔盖·冈查洛夫 :
共创性恢复单子:守卫迭代和守卫Elgot。 CALCO公司 2019 : 13:1-13:17 2018 [j8] 保罗·布莱恩·利维 :
ω处的幽灵 1 . 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [公元29年] 雅各布施 , 保罗·布莱恩·利维 , 侏罗纪腐朽 :
台阶和痕迹。 CMCS公司 2018 : 122-143 [公元28年] 马可·德文萨斯·坎波斯 , 保罗·布莱恩·利维 :
计算充分性的句法观点。 FoSSaCS公司 2018 : 71-87 [公元27年] 内森·J·鲍勒 , 保罗·布莱恩·利维 , 戈登·普洛金 :
由非确定性有限跟踪策略组成的初始代数和最终余代数。 MFPS公司 2018 : 23-44 2017 [公元26年] 奥哈德·卡马尔 , 保罗·布莱恩·利维 , 肖恩·K·莫斯 , 萨姆·斯塔顿 :
用于完整地面参考细胞的单子。 低收入国家 2017 : 1-12 [公元25年] 乌戈·达尔·拉戈 , 弗朗西斯科·加瓦佐 , 保罗·布莱恩·利维 :
有效的应用双重相似性:单数、关系词和豪的方法。 低收入国家 2017 : 1-12 [公元24年] 保罗·布莱恩·利维 :
上下文同构。 POPL公司 2017 : 400-414 [i5] 奥哈德·卡马尔 , 保罗·布莱恩·利维 , 肖恩·莫斯 , 萨姆·斯塔顿 :
用于完整地面参考细胞的单子。 CoRR公司 abs/1702.04908 ( 2017 ) [i4] 乌戈·达尔·拉戈 , 弗朗西斯科·加瓦佐 , 保罗·布莱恩·利维 :
有效的应用双相似性:单数、关系数和豪氏方法(长版)。 CoRR公司 abs/1704.04647 ( 2017 ) 2016 【c23】 Bram Geron公司 , 保罗·布莱恩·利维 :
迭代和标记迭代。 MFPS公司 2016 : 127-146 [i3] 保罗·布莱恩·利维 :
$ω_1$的幽灵。 CoRR公司 abs/1612.09514 ( 2016 ) 2015 [j7] 杰里·阿达梅克 , 保罗·布莱恩·利维 , 斯特凡·米利乌斯 , 劳伦斯·莫斯 , 卢德斯·索萨 :
在权力集Functors和饱和树的最后一个Coalgebras上——致乔治·詹尼利泽(George Janelidze)六十岁生日。 申请。 分类结构。 23 ( 4 ) : 609-641 ( 2015 ) [公元22年] 保罗·布莱恩·利维 :
余代数的最后一个余代数。 CALCO公司 2015 : 221-237 2014 【c21】 保罗·布莱恩·利维 , 萨姆·斯塔顿 :
游戏的过渡系统。 CSL-LICS公司 2014 : 64:1-64:10 [电子2] 保罗·布莱恩·利维 , 内尔·克里斯纳斯瓦米 :
数学结构函数编程第五次研讨会论文集, MSFP@ETAPS 2014年4月12日,法国格勒诺布尔。 EPTCS系统 153, 2014 [目录] [i2] 杰里·阿达梅克 , 内森·J·鲍勒 , 保罗·布莱恩·利维 , 斯特凡·米利乌斯 :
片场上单子的副产品。 CoRR公司 abs/1409.3804 ( 2014 ) 2013 [j6] 内森·J·鲍勒 , 谢尔盖·冈查洛夫 , 保罗·布莱恩·利维 , 卢茨·施罗德 :
探索集合上单数可张量的边界。 日志。 方法计算。 科学。 9 ( 三 ) ( 2013 ) [公元20年] 萨姆·斯塔顿 , 保罗·布莱恩·利维 :
不纯编程语言的通用属性。 POPL公司 2013 : 179-192 2012 [j5] 卢卡·埃特罗 , Anna Ingólfsdóttir女士 , 保罗·布莱恩·利维 , 约书亚·萨克 :
定点语义的特征公式:一个通用框架。 数学。 结构。 计算。 科学。 22 ( 2 ) : 125-173 ( 2012 ) [第19条] 罗利·佩雷拉 , 乌穆特·阿卡尔 , 詹姆斯·切尼 , 保罗·布莱恩·利维 :
解释其工作的功能性程序。 ICFP公司 2012 : 365-376 [第18条] 杰里·阿达梅克 , 斯特凡·米利乌斯 , 内森·J·鲍勒 , 保罗·布莱恩·利维 :
片场上单子的副产品。 低收入国家 2012 : 45-54 [电子1] 詹姆斯·查普曼 , 保罗·布莱恩·利维 :
数学结构函数编程第四次研讨会论文集, MSFP@ETAPS 2012年,爱沙尼亚塔林,2012年3月25日。 EPTCS系统 76, 2012 [目录] 2011 [第17条] 保罗·布莱恩·利维 :
作为最终余代数的相似商。 FoSSaCS公司 2011 : 27-41 [第16条] Vasileios Koutavas公司 , 保罗·布莱恩·利维 , 须井英次郎 :
从应用到环境模拟。 MFPS公司 2011 : 215-235 2010 [第15条] 托尔斯滕·阿尔滕基奇 , 保罗·布莱恩·利维 , 萨姆·斯塔顿 :
高级容器。 CiE公司 2010 : 11-20 [第14条] 保罗·布莱恩·利维 :
描述递归程序的特征,直到相似性。 菲莎国际学院 2010 : 47-52 [i1] Vasileios Koutavas公司 , 保罗·布莱恩·利维 , 须井英次郎 :
应用性双刺激的局限性(初步报告)。 状态建模、控制和推理 2010
2000 – 2009
2009 [第13条] 保罗·布莱恩·利维 , Kidane Yemane Weldemariam公司 :
在不确定性策略上的探索函数,直到低双相似度。 MFPS公司 2009 : 357-375 2008 【j4】 保罗·布莱恩·利维 :
无限跟踪等价。 Ann.纯应用。 日志。 151 ( 2-3 ) : 170-198 ( 2008 ) [第12条] 瑟伦·拉森 , 保罗·布莱恩·利维 :
参数多态的类型化范式互模拟。 低收入国家 2008 : 341-352 [第11条] 保罗·布莱恩·利维 :
全球状态被认为是有益的。 MFPS公司 2008 : 241-259 2007 [j3] 马丁·海兰德 , 保罗·布莱恩·利维 , 戈登·普洛金 , 约翰·鲍尔 :
将代数效应与延续相结合。 西奥。 计算。 科学。 375 ( 1-3 ) : 20-40 ( 2007 ) [第10条] 瑟伦·拉森 , 保罗·布莱恩·利维 :
类型化范式模拟。 CSL公司 2007 : 283-297 【c9】 保罗·布莱恩·利维 :
Amb打破了良好的指向性,而地面Amb没有。 MFPS公司 2007 : 221-239 2006 [注2] 保罗·布莱恩·利维 :
按值调用:分解按值调用和按名称调用。 高。 订购符号。 计算。 19 ( 4 ) : 377-414 ( 2006 ) 【c8】 保罗·布莱恩·利维 :
巨型 λ -微积分。 ICALP(二) 2006 : 444-455 【c7】 保罗·布莱恩·利维 :
无穷豪方法。 CMCS公司 2006 : 85-104 【c6】 保罗·布莱恩·利维 :
整体例外的单数和伴随词。 MFPS公司 2006 : 261-287 2005 【c5】 保罗·布莱恩·利维 :
无限跟踪等价。 GALOP@预计到达时间 2005 : 195-209 【c4】 保罗·布莱恩·利维 :
无限迹等价。 MFPS公司 2005 : 467-496 2004 【b2】 保罗·布莱恩·利维 :
Call-By-Push-Value:功能性/强制性综合。 计算中的语义结构 2, 施普林格 2004 ,十亿 1-4020-1730-8 2003 [j1] 保罗·布莱恩·利维 , 约翰·鲍尔 , Hayo Thielecke先生 :
用按调用值编程语言建模环境。 Inf.计算。 185 ( 2 ) : 182-210 ( 2003 ) 2002 【c3】 保罗·布莱恩·利维 :
按调用值进行一般存储的可能世界语义。 CSL公司 2002 : 232-246 【c2】 保罗·布莱恩·利维 :
具有堆栈的按调用值的伴随模型。 CTCS公司 2002 : 248-271 2001 【b1】 保罗·布莱恩·利维 :
呼叫推送值。 英国伦敦玛丽女王大学, 2001
1990 – 1999
1999 【c1】 保罗·布莱恩·利维 :
Call-by-Push-Value:订阅范式。 薄层色谱分析 1999 : 228-242
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)