马塞洛·菲奥雷
人员信息
附属: 英国剑桥大学
优化列表
2020年–今天
2024 [公元19年] 马塞洛·菲奥雷 , Zeinab Galal公司 , 雨果·帕奎特 :
稳定的模板剂和稳定的结构种类。 日志。 方法计算。 科学。 20 ( 1 ) ( 2024 ) 2023 [第51条] 马塞洛·菲奥雷 , 泽纳布·加拉尔 , 法扎德·贾法拉赫马尼 :
线性逻辑聚焦正交模型中的不动点构造。 MFPS公司 2023 [第九章] 马塞洛·菲奥雷 , 泽纳布·加拉尔 , 雨果·帕奎特 :
稳定的模板剂和稳定的结构种类。 CoRR公司 abs/2303.04795 ( 2023 ) 2022 [公元18年] 马塞洛·菲奥雷 , 安德鲁·皮特斯 , S.C.Steenkamp公司 :
商、归纳类型和商归纳类型。 日志。 方法计算。 科学。 18 ( 2 ) ( 2022 ) [公元17年] 马塞洛·菲奥雷 :
通过类型化lambda演算的求值对归一化进行语义分析。 数学。 结构。 计算。 科学。 32 ( 8 ) : 1028-1065 ( 2022 ) [公元16年] 马塞洛·菲奥雷 , Dmitrij Szamozvancev先生 :
二阶抽象句法的形式元理论。 程序。 ACM计划。 语言。 6 ( POPL公司 ) : 1-29 ( 2022 ) [公元50年] 马塞洛·菲奥雷 , 泽纳布·加拉尔 , 雨果·帕奎特 :
多项式函数高阶结构的组合方法。 金融稳定与发展部 2022 : 31:1-31:19 [公元49年] 维克拉曼·乔杜里 , 马塞洛·菲奥雷 :
同伦类型理论中的自由交换幺半群。 MFPS公司 2022 [i8] 马塞洛·菲奥雷 , Dmitrij Szamozvancev先生 :
二阶抽象句法的形式元理论。 CoRR公司 abs/2201.03504 ( 2022 ) [i7] 马塞洛·菲奥雷 :
通过类型化Lambda演算的评估对归一化进行语义分析。 CoRR公司 abs/2207.08777 ( 2022 ) 2021 [公元15年] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
双范畴笛卡尔闭结构的相干性。 数学。 结构。 计算。 科学。 31 ( 7 ) : 822-849 ( 2021 ) [i6] 马塞洛·菲奥雷 , 安德鲁·皮特斯 , S.C.斯廷坎普 :
商、归纳类型和商归纳类型。 CoRR公司 腹肌/2101.02994 ( 2021 ) 2020 [公元14年] 马可·德文萨斯·坎波斯 , 马塞洛·菲奥雷 :
孟德尔归纳法的经典逻辑。 J.日志。 计算。 30 ( 1 ) : 77-106 ( 2020 ) [公元48年] 马塞洛·菲奥雷 , 安德鲁·皮特斯 , S.C.Steenkamp公司 :
构造无穷商导类型。 FoSSaCS公司 2020 : 257-276 [公元47年] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
二类笛卡尔闭结构的相对完全性。 FoSSaCS公司 2020 : 277-298 [公元46年] 纳撒内尔·阿科尔 , 马塞洛·菲奥雷 :
简单类型理论的代数模型:多项式方法。 低收入国家 2020 : 88-101 [公元45年] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
二类笛卡尔闭结构的相干性和归一化-逐个求值。 低收入国家 2020 : 425-439 [i5] 纳撒内尔·阿科尔 , 马塞洛·菲奥雷 :
简单类型理论的代数模型:多项式方法。 CoRR公司 abs/2006.16949 ( 2020 )
2010 – 2019
2019 [c44] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
笛卡尔闭双范畴的一种类型理论(扩展抽象)。 低收入国家 2019 : 1-13 [i4] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
笛卡尔闭双范畴的一种类型理论。 CoRR公司 abs/1904.06538 ( 2019 ) [i3] 马塞洛·菲奥雷 , 安德鲁·皮特斯 , S.C.Steenkamp公司 :
构造无限商归纳类型。 CoRR公司 abs/1911.06899 ( 2019 ) 2017 [公元43年] 马塞洛·菲奥雷 , 菲利普·萨维尔 :
列出具有代数结构的对象。 金融稳定与发展部 2017 : 16:1-16:18 2016 [公元42年] 马可·德文萨斯·坎波斯 , 马塞洛·菲奥雷 :
孟德尔归纳经典逻辑——对偶演算及其强正规化。 LFCS公司 2016 : 43-59 [公元41年] 皮埃尔·路易斯·居里 , 马塞洛·菲奥雷 , 纪尧姆·蒙奇·马卡尼奥尼 :
效应和资源理论:附加模型和极化计算。 POPL公司 2016 : 44-56 2014 [j13] 马塞洛·菲奥雷 :
群胚上预heaf范畴之间的解析函子。 理论。 计算。 科学。 546 : 120-131 ( 2014 ) [公元40年] 马塞洛·P·菲奥雷 , 萨姆·斯塔顿 :
替换、跳跃和代数效应。 CSL-LICS公司 2014 : 41:1-41:10 [i2] 马塞洛·菲奥雷 , 奥拉·马哈茂德 :
二阶代数理论的功能语义。 CoRR公司 abs/1401.4697 ( 2014 ) 2013 [公元39年] 马塞洛·菲奥雷 , 马可·德文萨斯·坎波斯 :
有向非循环图代数。 计算、逻辑、游戏和量子基础 2013 : 37-51 [公元38年] 马塞洛·菲奥雷 , Makoto Hamana公司 :
多元多形代数理论:句法、语义、翻译和等式逻辑。 低收入国家 2013 : 520-529 [公元37年] Ki Yung Ahn(基永安) , 蒂姆·谢尔德 , 马塞洛·菲奥雷 , 安德鲁·皮特斯 :
系统F 我 . 薄层色谱法 2013 : 15-30 [i1] 马塞洛·菲奥雷 , 奥拉·马哈茂德 :
二阶代数理论。 CoRR公司 abs/1308.5409 ( 2013 ) 2012 [公元36年] 马塞洛·菲奥雷 :
离散广义多项式函数-(扩展抽象)。 ICALP(二) 2012 : 214-226 2011 [j12] 马塞洛·菲奥雷 , 中基尔湖 :
关于方程逻辑的数学综合。 日志。 方法计算。 科学。 7 ( 三 ) ( 2011 ) [c35] Makoto Hamana公司 , 马塞洛·P·菲奥雷 :
GADT和归纳族的基础:相关多项式函子方法。 ICFP的WGP 2011 : 59-70 2010 [公元34年] 马塞洛·菲奥雷 , 中基尔湖 :
二阶等式逻辑(扩展抽象)。 CSL公司 2010 : 320-335 [c33] 马塞洛·菲奥雷 , 奥拉·马哈茂德 :
二阶代数理论(扩展摘要)。 MFCS公司 2010 : 368-380
2000 – 2009
2009 [公元11年] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
用于名称传递进程计算的同余规则格式。 Inf.计算。 207 ( 2 ) : 209-236 ( 2009 ) [公元10年] 马塞洛·菲奥雷 , 中基尔湖 :
关于方程组自由代数的构造。 理论。 计算。 科学。 410 ( 18 ) : 1704-1729 ( 2009 ) [公元32年] 马塞洛·菲奥雷 , 中基尔湖 :
等式演绎系统的数学综合。 薄层色谱法 2009 : 1-2 2008 [公元31年] 马塞洛·菲奥雷 :
二阶和相关排序抽象语法。 低收入国家 2008 : 57-68 [公元30年] 马塞洛·菲奥雷 , 中基尔湖 :
等式系统与逻辑学术语:(扩展摘要)。 MFPS公司 2008 : 171-192 2007 [公元29年] 马塞洛·菲奥雷 , 中基尔湖 :
等式系统和自由构造(扩展抽象)。 ICALP公司 2007 : 607-618 [公元28年] 马塞洛·菲奥雷 :
乘法偏加直觉线性逻辑模型中的微分结构。 薄层色谱法 2007 : 163-177 [公元27年] 鲁卡·凯德利 , 马塞洛·菲奥雷 , 格林恩·温斯克尔 :
前言。 计算、意义和逻辑 2007 : 1-4 [公元26年] 马塞洛·菲奥雷 :
前言。 MFPS公司 2007 : 1-2 [c25] 吉安·卢卡·卡塔尼 , 马塞洛·菲奥雷 :
递归区域方程的双范畴理论解。 计算、意义和逻辑 2007 : 203-222 [电子2] 鲁卡·凯德利 , 马塞洛·菲奥雷 , 格林·温斯克 :
计算、意义和逻辑:Gordon Plotkin专用文章。 理论计算机科学电子笔记 172, 爱思维尔 2007 [目录] [电子1] 马塞洛·菲奥雷 :
2007年4月11日至14日在美国洛杉矶新奥尔良举行的第23届编程语义数学基础会议论文集,MFPS 2007。 理论计算机科学电子笔记 173, 爱思维尔 2007 [目录] 2006 [公元9年] 马塞洛·菲奥雷 , 罗贝多·迪·科斯莫 , 文森特·巴拉特 :
关于具有空类型和和类型的类型lambda演算中同构的注记。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 35-50 ( 2006 ) [j8] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
比较姓名传递过程计算的操作模型。 Inf.计算。 204 ( 4 ) : 524-560 ( 2006 ) [公元24年] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
基于数学结构操作语义的命名过程演算的同余规则格式。 低收入国家 2006 : 49-58 2005 【c23】 马塞洛·菲奥雷 :
计算和组合结构的数学模型。 FoSSaCS公司 2005 : 25-46 2004 [j7] 马塞洛·菲奥雷 , 汤姆·伦斯特 :
高斯整数的客观表示。 J.塞姆。 计算。 37 ( 6 ) : 707-716 ( 2004 ) [公元22年] 文森特·巴拉特 , 罗贝多·迪·科斯莫 , 马塞洛·菲奥雷 :
带和的类型lambda演算的扩张正规化和类型定向部分求值。 POPL公司 2004 : 64-76 【c21】 马塞洛·菲奥雷 :
一般递归多项式类型的同构。 POPL公司 2004 : 77-88 [公元20年] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
比较命名过程演算的操作模型。 CMCS公司 2004 : 91-104 2002 [j6] 马塞洛·菲奥雷 , 尤金尼奥·莫吉 , 戴维德·桑吉奥吉 :
[pi]-演算的完全抽象模型。 Inf.计算。 179 ( 1 ) : 76-117 ( 2002 ) [第19条] 马塞洛·P·菲奥雷 , 罗贝多·迪·科斯莫 , 文森特·巴拉特 :
关于空型和和型Lambda演算中同构的注记。 低收入国家 2002 : 147- [第18条] 马塞洛·菲奥雷 :
通过类型化lambda演算的求值对归一化进行语义分析。 PPDP(PPDP) 2002 : 26-37 2001 [j5] 马塞洛·菲奥雷 , 朱塞佩·罗索里尼 :
H中的域。 理论。 计算。 科学。 264 ( 2 ) : 171-193 ( 2001 ) [第17条] 马塞洛·菲奥雷 , 马丁·阿巴迪 :
计算用于验证密码协议的符号模型。 CSFW公司 2001 : 160-173 [第16条] 马塞洛·菲奥雷 , 丹尼尔·图里 :
名称和值传递的语义。 低收入国家 2001 : 93-104 2000 【j4】 玛尔塔·邦吉 , 马塞洛·菲奥雷 :
唯一的因子分解提升函子和线性控制过程的类别。 数学。 结构。 计算。 科学。 10 ( 2 ) : 137-163 ( 2000 ) [第15条] 马塞洛·菲奥雷 :
过程的纤维模型:离散、连续和混合系统。 IFIP TCS 2000 : 457-473
1990 – 1999
1999 [第14条] 马塞洛·菲奥雷 , 吉安·卢卡·卡塔尼 , 格林·温斯克 :
弱互模拟和开放映射。 低收入国家 1999 : 67-76 [第13条] 马塞洛·菲奥雷 , 戈登·普洛金 , 丹尼尔·图里 :
抽象语法和变量绑定。 低收入国家 1999 : 193-202 [第12条] 马塞洛·菲奥雷 , 亚历克斯·K·辛普森 :
Lambda通过Grothendieck逻辑关系定义和。 薄层色谱法 1999 : 147-161 [第11条] 马塞洛·菲奥雷 :
过程的纤维模型。 CTCS公司 1999 : 78 1998 [第10条] 吉安·卢卡·卡塔尼 , 马塞洛·菲奥雷 , 格林·温斯克 :
递归域理论及其在并发中的应用。 低收入国家 1998 : 214-225 【c9】 马塞洛·菲奥雷 , Kohei Honda公司 :
游戏中的递归类型:公理化和过程表示。 低收入国家 1998 : 345-356 1997 [j3] 马塞洛·菲奥雷 :
关于域和连续函数范畴公理化的一个扩充定理。 数学。 结构。 计算。 科学。 7 ( 5 ) : 591-618 ( 1997 ) 【c8】 马塞洛·菲奥雷 , 戈登·普洛金 , A.约翰·鲍尔 :
公理域理论中的完备立方集。 低收入国家 1997 : 268-278 【c7】 马塞洛·菲奥雷 , 朱塞佩·罗索里尼 :
从综合角度看cpo的类别。 MFPS公司 1997 : 133-150 1996 [注2] 马塞洛·菲奥雷 :
基于互模拟的递归数据类型的共约原理。 Inf.计算。 127 ( 2 ) : 186-198 ( 1996 ) 【c6】 马塞洛·菲奥雷 , 戈登·普洛金 :
公理领域理论模型到综合领域理论模型的扩展。 CSL公司 1996 : 129-149 【c5】 马塞洛·菲奥雷 , 尤金尼奥·莫吉 , 戴维德·桑吉奥吉 :
pi-Calculus的完全抽象模型(扩展抽象)。 低收入国家 1996 : 43-54 [c4] 马丁·阿巴迪 , 马塞洛·菲奥雷 :
递归类型的句法考虑。 低收入国家 1996 : 242-252 1995 [j1] 马塞洛·菲奥雷 :
部分映射范畴的序扩充。 数学。 结构。 计算。 科学。 5 ( 4 ) : 533-562 ( 1995 ) 【c3】 马塞洛·菲奥雷 :
作为KZ主义的提升。 范畴理论与计算机科学 1995 : 146-158 1994 【b1】 马塞洛·菲奥雷 :
部分映射范畴中的公理域理论。 英国爱丁堡大学, 1994 【c2】 马塞洛·菲奥雷 , 戈登·普洛金 :
FPC的计算充分域理论模型的公理化。 低收入国家 1994 : 92-102 1993 【c1】 马塞洛·菲奥雷 :
基于互模拟的递归数据类型的共约原理。 低收入国家 1993 : 110-119