安东尼奥·布恰雷利
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元17年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 亚历杭德罗·里奥斯 , 安德烈斯·维索 :
重温了bang演算。 Inf.计算。 293 : 105047 ( 2023 ) [i7] 安东尼奥·布恰雷利 , 安东尼诺·萨利布拉 :
arity omega的克隆、多态性和关系。 CoRR公司 腹肌/2303.05471 ( 2023 ) 2022 [i6] 安东尼奥·布恰雷利 , 安东尼奥·莱达 , 弗朗西斯科·保利 , 安东尼诺·萨利布拉 :
有限维序贯计算。 CoRR公司 腹肌/2204.00435 ( 2022 ) 2021 [公元16年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
可解决性=典型性+居住性。 日志。 方法计算。 科学。 17 ( 1 ) ( 2021 ) 2020 【c21】 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 亚历杭德罗·里奥斯 , 安德烈斯·维索 :
重温《爆炸微积分》。 FLOPS(浮动) 2020 : 13-32 [i5] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 亚历杭德罗·里奥斯 , 安德烈斯·维索 :
重温《爆炸微积分》。 CoRR公司 abs/2002.04011 ( 2020 )
2010 – 2019
2019 [公元15年] 安东尼奥·布恰雷利 , 安东尼诺·萨利布拉 :
关于布尔代数的非对易推广。 艺术谨慎。 申请。 数学。 2 ( 2 ) ( 2019 ) 2018 [公元14年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [i4] 安东尼奥·布恰雷利 , 安东尼奥·莱达 , 弗朗西斯科·保利 , 安东尼诺·萨利布拉 :
有限维的类布尔代数。 CoRR公司 abs/1806.06537 ( 2018 ) [i3] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
可观测性=可分型性+居住性。 CoRR公司 腹肌/1812.06009 ( 2018 ) 2017 [j13] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 丹尼尔·文图拉 :
Lambda-Calculus的非独立交集类型。 日志。 J.IGPL公司 25 ( 4 ) : 431-464 ( 2017 ) [i2] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住。 CoRR公司 abs/1712.03829 ( 2017 ) 2016 [公元12年] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 佐丹诺·法夫罗 , 安东尼诺·萨利布拉 :
将静音lambda术语的简单集合绘制成图表。 西奥。 计算。 科学。 629 : 51-63 ( 2016 ) 2015 [公元20年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
配对模式演算的可观测性。 薄层色谱分析 2015 : 123-137 [第19条] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 丹尼尔·文图拉 :
通过交集类型和内存进行强规范化。 LSFA公司 2015 : 75-91 2014 [第18条] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 佐丹诺·法夫罗 , 安东尼诺·萨利布拉 :
一类简单的图形静音lambda项。 信息通信与通信系统 2014 : 59-71 [第17条] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住问题。 IFIP TCS 2014 : 341-354 2012 [公元11年] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
函数设置中并行性和非确定性的关系语义。 Ann.纯粹应用。 日志。 163 ( 7 ) : 918-934 ( 2012 ) [公元10年] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
通过泰勒展开,对资源Lambda微积分进行全面抽象,并进行测试。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [第16条] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 安东尼诺·萨利布拉 :
超产品的最小λ理论。 LSFA公司 2012 : 61-76 2011 [第15条] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
资源微积分的完整抽象与测试。 CSL公司 2011 : 97-111 [i1] 安东尼奥·布恰雷利 :
扩展崩溃情况I:非终止和不可恢复错误。 CoRR公司 abs/1101.4465 ( 2011 ) 2010 [第14条] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
简单类型资源演算的分类模型。 MFPS公司 2010 : 213-230
2000 – 2009
2009 [c13] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
并行非确定性lambda-Calculus的关系模型。 LFCS公司 2009 : 107-121 [第12条] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 安东尼诺·萨利布拉 :
线性信息系统。 线性 2009 : 38-48 2008 [公元9年] 安东尼奥·布恰雷利 , 安东尼诺·萨利布拉 :
绘制lambda理论。 数学。 结构。 计算。 科学。 18 ( 5 ) : 975-1004 ( 2008 ) 2007 [第11条] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
分数不够就够了。 CSL公司 2007 : 298-312 2004 [第10条] 安东尼奥·布恰雷利 , 本杰明·勒珀西 :
超图和并行度:一个完整性结果。 FoSSaCS公司 2004 : 58-71 【c9】 安东尼奥·布恰雷利 , 安东尼诺·萨利布拉 :
兰姆达微积分的感觉图论。 低收入国家 2004 : 276-285 2003 [j8] 安东尼奥·布恰雷利 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交叉点类型和lambda-可定义性。 数学。 结构。 计算。 科学。 13 ( 1 ) : 15-53 ( 2003 ) 【c8】 安东尼奥·布恰雷利 , 安东尼诺·萨利布拉 :
Lambda微积分的最小图模型。 MFCS公司 2003 : 300-307 【c7】 安东尼奥·布恰雷利 , 本杰明·勒珀西 , 文森特·帕多瓦尼 :
一元PCF的相对可定义性和模型。 薄层色谱分析 2003 : 75-89 2002 [j7] 安东尼奥·布恰雷利 , 帕斯奎尔·马拉卡里亚 :
布尔函数通过超图的相对可定义性。 西奥。 计算。 科学。 278 ( 1-2 ) : 91-110 ( 2002 ) 2001 [j6] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
关于阶段语义和指称语义:指数。 Ann.纯粹应用。 日志。 109 ( 三 ) : 205-241 ( 2001 ) 2000 [j5] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
乘法加法线性逻辑中的相语义和指称语义。 Ann.纯粹应用。 日志。 102 ( 三 ) : 247-282 ( 2000 )
1990 – 1999
1999 【c6】 安东尼奥·布恰雷利 , 西尔维娅·德洛伦齐斯 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交叉点类型的一些计算属性。 低收入国家 1999 : 109-118 1998 【c5】 安东尼奥·布恰雷利 , 伊万诺·萨尔沃 :
总体性、可定义性和布尔逻辑。 ICALP公司 1998 : 808-819 1997 【j4】 安东尼奥·布恰雷利 :
双模型:关系与领域理论方法。 芬丹。 信息学 32 ( 3-4 ) : 251-266 ( 1997 ) [j3] 安东尼奥·布恰雷利 :
连续类型层次结构中的并行度。 西奥。 计算。 科学。 177 ( 1 ) : 59-71 ( 1997 ) 【c4】 安东尼奥·布恰雷利 :
双域逻辑重建。 薄层色谱分析 1997 : 99-111 1994 [注2] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
扩展框架中的顺序性。 Inf.计算。 110 ( 2 ) : 265-296 ( 1994 ) 1993 [j1] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
顺序理论。 西奥。 计算。 科学。 113 ( 2 ) : 273-291 ( 1993 ) 【c3】 安东尼奥·布恰雷利 :
序列性的另一种方法:Kleene的单单调函数。 MFPS公司 1993 : 333-358 1991 【c2】 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
PCF强稳定模型的扩展嵌入。 ICALP公司 1991 : 35-46 【c1】 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
顺序性和强稳定性。 低收入国家 1991 : 138-145
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)