利普敦
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i1] 吉安卢卡·阿马托 , 玛丽·德马尔科 , 利普敦 :
一致代数:完全简单类型λProlog的模型和构造完备性。 CoRR公司 abs/2405.15822 ( 2024 )
2010 – 2019
2018 [公元9年] 利普敦 , 苏珊娜·尼娃 :
高阶类型理论的克里普克语义应用于约束逻辑编程语言。 理论。 计算。 科学。 712 : 1-37 ( 2018 ) 2017 [j8] 埃米利奥·杰苏的加列戈·阿里亚斯 , 利普敦 , 朱利奥·马里诺 :
用关系机进行约束逻辑编程。 形式方面计算。 29 ( 1 ) : 97-124 ( 2017 ) 2014 [第14条] 埃米利奥·杰苏的加列戈·阿里亚斯 , 利普敦 , 朱利奥·马里尼奥·卡巴洛 :
约束逻辑编程的声明性编译。 洛普斯特 2014 : 299-316 2012 [第13条] 埃米利奥·杰苏的加列戈·阿里亚斯 , 利普敦 :
表格寓言中的逻辑编程。 ICLP(技术通信) 2012 : 334-347 2011 [j7] 埃米利奥·杰苏的加列戈·阿里亚斯 , 利普敦 , 朱利奥·马里诺 , 巴勃罗·诺盖拉 :
使用无变量关系代数的一阶统一。 日志。 J.IGPL公司 19 ( 6 ) : 790-820 ( 2011 ) 2010 [j6] 奥利维尔·赫曼特 , 利普敦 :
直觉主义类型理论的完备性和删减——第2部分。 J.日志。 计算。 20 ( 2 ) : 597-602 ( 2010 )
2000 – 2009
2009 [j5] 吉安卢卡·阿马托 , 利普敦 , 罗伯特·麦克格雷 :
关于声明性编程语言的代数结构。 理论。 计算。 科学。 410 ( 46 ) : 4626-4671 ( 2009 ) 2008 [第12条] 奥利维尔·赫曼特 , 利普敦 :
一种构造性语义方法,用于公理类型理论中的删减消除。 CSL公司 2008 : 169-183 [第11条] 埃米利奥·杰苏的加列戈·阿里亚斯 , 利普敦 , 朱利奥·马里诺 , 巴勃罗·诺盖拉 :
使用无变量关系代数的一阶统一。 联合国国际金融中心 2008 : 40-54 2007 [第10条] 利普敦 , 苏珊娜·尼娃 :
带约束的高阶逻辑编程语言:语义。 薄层色谱分析 2007 : 272-289 2005 【j4】 玛丽·德马尔科 , 利普敦 :
直觉主义类型理论中的完备性和删减。 J.日志。 计算。 15 ( 6 ) : 821-854 ( 2005 ) 2004 [j3] 斯泰西·芬克尔斯坦 , 彼得·弗雷德 , 利普敦 :
勘误:“声明式编程的新框架”:[Theoret.Compute.Sci.300(2003)91-160]。 理论。 计算。 科学。 311 ( 1-3 ) : 527 ( 2004 ) 【c9】 丹尼尔·卡贝萨 , 曼纽尔·埃尔梅内吉尔多 , 利普敦 :
Hiord:一种带谓词抽象的无类型高阶逻辑程序设计语言。 亚洲的 2004 : 93-108 2003 [注2] 斯泰西·芬克尔斯坦 , 彼得·弗雷德 , 利普敦 :
一种新的声明式编程框架。 理论。 计算。 科学。 300 ( 1-3 ) : 91-160 ( 2003 ) 2001 【c8】 吉安卢卡·阿马托 , 利普敦 :
逻辑程序的索引类别和自底向上语义。 LPAR公司 2001 : 438-454
1990 – 1999
1998 【c7】 利普敦 , 罗伯特·麦克格雷 :
通过类别约束在逻辑编程中封装数据。 PLILP/ALP公司 1998 : 391-410 1996 [j1] 利普敦 , 迈克尔·J·奥唐纳 :
建构逻辑可实现语义背后的一些直觉:Tableaux和Läuchli反模型。 Ann.纯粹应用。 日志。 81 ( 1-3 ) : 187-239 ( 1996 ) 【c6】 利普敦 , 斯泰西·芬克尔斯坦 , 彼得·弗雷德 :
声明式编程的新框架:分类视角。 ELP公司 1996 : 209-211 1994 【c5】 斯泰西·芬克尔斯坦 , 彼得·弗雷德 , 利普敦 :
Tau类别中的逻辑编程。 CSL公司 1994 : 249-263 【c4】 利普敦 , 迈克尔·奥唐纳 :
建设性谬误的直观反例。 MFCS公司 1994 : 87-111 【c3】 保罗·布鲁姆 , 利普敦 :
组合逻辑编程:关系演算中的计算。 仪表着陆点 1994 : 269-285 1991 【c2】 利普敦 :
依赖类型理论的Kripke语义和可实现性解释。 计算机科学中的建构性 1991 : 22-32 [c1] 贾瓦哈尔·奇里马尔 , 利普敦 :
TBLL中的可证明性:决策程序。 CSL公司 1991 : 53-67
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)