卡洛斯·隆巴迪
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2020 【c6】 尼科拉斯·帕塞里尼 , 卡洛斯·隆巴迪 :
在引入OOP时推迟类的概念。 ITiCSE公司 2020 : 152-158
2010 – 2019
2019 [注2] 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的投影(扩展版本)。 西奥。 计算。 科学。 781 : 92-110 ( 2019 ) 2017 [j1] 爱德华多·博内利 , 迪莉娅·凯斯纳 , 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 :
关于超越需求的抽象规范化。 西奥。 计算。 科学。 672 : 36-63 ( 2017 ) 2016 【c5】 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的投影。 LSFA公司 2016 : 131-148 [i3] 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的投影。 CoRR公司 腹肌/1605.07808 ( 2016 ) 2014 【c4】 贝尼亚米·阿卡托利 , 爱德华多·博内利 , 迪莉娅·凯斯纳 , 卡洛斯·隆巴迪 :
一个非标准化定理。 POPL公司 2014 : 659-670 【c3】 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的证明条款。 RTA-薄层色谱分析 2014 : 303-318 [i2] 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 , 罗埃尔·德弗里杰尔(Roel de Vrijer) :
无限重写的证明条款,进度报告。 CoRR公司 abs/1402.2245 ( 2014 ) [i1] 爱德华多·博内利 , 迪莉娅·凯斯纳 , 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 :
抽象归一化结果及其在非序贯计算中的应用。 CoRR公司 abs/1412.2118 ( 2014 ) 2012 【c2】 爱德华多·博内利 , 迪莉娅·凯斯纳 , 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 :
动态模式演算的标准化。 区域贸易协定 2012 : 117-132 2010 【c1】 迪莉娅·凯斯纳 , 卡洛斯·隆巴迪 , 亚历杭德罗·里奥斯 :
代数模式计算的标准化证明。 HOR公司 2010 : 58-72