福里奥·霍塞尔
人员信息
附属: 意大利乌迪内大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i7] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
作为部分对合的主类型。 CoRR公司 abs/2402.07230 ( 2024 ) 2022 [公元58年] 乌戈·达尔·拉戈 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 保罗·皮斯通 :
关于数量代数高阶理论。 金融稳定与发展部 2022 : 4:1-4:18 [i6] 乌戈·达尔·拉戈 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 保罗·皮斯通 :
关于数量代数高阶理论。 CoRR公司 abs/2204.13654 ( 2022 ) 2021 [公元41年] 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 路易吉·利科里 :
基于原型的对象进化方法。 J.对象技术。 20 ( 2 ) : 4:1-24 ( 2021 ) 2020 [公元57年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
∧-Symsym:用于处理对合和类型的交互式工具。 类型 2020 : 7:1-7:18
2010 – 2019
2019 [j40] 法比奥·阿莱西 , 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
LF+在Coq中用于“快速和松散”推理。 J.福尔马利兹。 原因。 12 ( 1 ) : 11-51 ( 2019 ) [公元39年] 利奥波迪纳·福图纳蒂 , 安娜·玛丽亚·曼加内利 , 菲利波·卡瓦洛 , 福里奥·霍塞尔 :
你需要证明你不是机器人。 新媒体协会。 21 ( 8 ) ( 2019 ) [公元56年] 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
兰姆达- 微积分、交集类型和对合。 金融稳定与发展部 2019 : 15:1-15:16 [公元55年] 法比奥·阿莱西 , 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
在Coq中定义实现Lax逻辑框架LLFP,以支持快速和松散推理。 LICS的LFMTP 2019 : 8-23 2018 [公元38年] 福里奥·霍塞尔 , 路易吉·利科里 , 彼得·马克西莫维奇 , 伊万·斯卡涅托 :
使用LF中的锁的插件式开发环境。 数学。 结构。 计算。 科学。 28 ( 9 ) : 1578-1605 ( 2018 ) [公元37年] 利奥波迪纳·福图纳蒂 , 毛罗·萨里卡 , 乔瓦尼·费林 , 索尼娅·布朗迪 , 福里奥·霍塞尔 :
作为文化对象的社交机器人:动态的第六维度? Inf.Soc.公司。 34 ( 三 ) : 141-152 ( 2018 ) [公元54年] 福里奥·霍塞尔 , 路易吉·利科里 , 克劳德·斯托尔泽 , 伊凡·斯卡格内托 :
三角框架。 FSTTCS公司 2018 : 37:1-37:21 [公元53年] 阿尔贝托·齐法格利翁 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
内卷化作为基本类型/应用程序作为统一类比。 LPAR公司 2018 : 254-270 [i5] 阿尔贝托·齐法格利翁 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
线性lambda-calculus和可逆自动组合器。 CoRR公司 abs/1806.06759 ( 2018 ) [i4] 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 路易吉·利科里 :
基于原型的对象重新分类方法。 CoRR公司 abs/1808.04190 ( 2018 ) [i3] 福里奥·霍塞尔 , 路易吉·利科里 , 克劳德·斯托尔泽 , 伊凡·斯卡格内托 :
三角框架。 CoRR公司 abs/1808.04193 ( 2018 ) 2017 [公元36年] 福里奥·霍塞尔 , 路易吉·利科里 , 佩塔尔·马克西莫维奇 , 伊凡·斯卡格内托 :
有限责任合伙 𝒫 :一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) [i2] 福里奥·霍塞尔 , 路易吉·利科里 , 彼得·马克西莫维奇 , 伊凡·斯卡格内托 :
有限责任合伙 P(P) :一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 CoRR公司 abs/1702.07214 ( 2017 ) 2016 [j35] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 , 路易吉·利科里 , 彼得·马克西莫维奇 :
开放的逻辑框架。 J.日志。 计算。 26 ( 1 ) : 293-335 ( 2016 ) [第52条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 , 伊万·斯卡涅托 :
实施坎托天堂。 阿普拉斯 2016 : 229-250 2015 [第51条] 福里奥·霍塞尔 :
你为什么。。。 计算语义? HaPoC公司 2015 : 3-23 [公元50年] 福里奥·霍塞尔 , 路易吉·利科里 , 彼得·马克西莫维奇 , 伊凡·斯卡格内托 :
粘合在一起的证明环境:以锁为特征的LF类型理论的标准扩展。 LFMTP公司 2015 : 3-17 2014 [公元34年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 丹尼尔·佩拉里尼 :
具有选择性和的拼图游戏的类别。 芬丹。 信息学 134 ( 3-4 ) : 395-414 ( 2014 ) [公元49年] 福里奥·霍塞尔 , 路易吉·利科里 , 伊凡·斯卡格内托 :
L ax F:副作用条件和作为Monad的外部证据。 MFCS(1) 2014 : 327-339 2013 [公元48年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
解开不动点:λY-演算理论。 计算、逻辑、游戏和量子基础 2013 : 150-165 [公元47年] 福里奥·霍塞尔 :
25年的正式证明文化:一些问题,一些哲学,光明的未来。 LFMTP公司 2013 : 37-42 2012 [j33] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
无限康威对策的等价与同余。 RAIRO提奥。 信息学应用。 46 ( 2 ) : 231-259 ( 2012 ) [公元46年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
拼图游戏的类别。 MFCS公司 2012 : 503-515 2011 [公元32年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
康威博弈,代数和余代数。 日志。 方法计算。 科学。 7 ( 三 ) ( 2011 )
2000 – 2009
2009 [公元31年] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
RPO、二阶上下文和Lambda-calculus。 日志。 方法计算。 科学。 5 ( 三 ) ( 2009 ) 【j30】 福里奥·霍塞尔 , 戈登·普洛金 :
关于lambda-calculus序理论模型的完备性。 Inf.计算。 207 ( 5 ) : 583-594 ( 2009 ) [公元45年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
康威游戏公司(Conway Games),Coalgebraically。 CALCO公司 2009 : 300-316 2008 [j29] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
游戏语义的类型分配系统。 西奥。 计算。 科学。 398 ( 1-3 ) : 150-169 ( 2008 ) [公元44年] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
RPO、二阶上下文和lambda-Calculus。 FoSSaCS公司 2008 : 334-349 [公元43年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 , 伊凡·斯卡格内托 :
条件逻辑框架。 LPAR公司 2008 : 143-157 [c42] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
过程演算反应语义的有限分支标记转换系统。 WADT(瓦特) 2008 : 119-134 [电子3] 马里诺·米库兰 , 伊凡·斯卡格内托 , 福里奥·霍塞尔 :
2007年5月2日至5日,意大利,Cividale del Friuli,2007年国际会议,《证明和程序类型》,修订论文集。 计算机科学课堂讲稿 4941, 施普林格 2008 ,十亿 978-3-540-68084-0 [目录] 2007 [公元28年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
广义二进制方法的协代数描述。 数学。 结构。 计算。 科学。 17 ( 4 ) : 647-673 ( 2007 ) [公元41年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 :
定义逻辑框架的框架。 计算、意义和逻辑 2007 : 399-436 2006 [公元27年] 安娜·布卡洛 , 福里奥·霍塞尔 , 马里诺·米库兰 , 伊凡·斯卡格内托 , 马丁·霍夫曼 :
语境理论的一致性。 J.功能。 程序。 16 ( 三 ) : 327-372 ( 2006 ) [公元26年] 福里奥·霍塞尔 , 卡罗琳·塔尔科特 :
编辑。 高。 订购符号。 计算。 19 ( 2-3 ) : 167-168 ( 2006 ) [公元40年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
集函数的一些性质和一些问题。 CMCS公司 2006 : 67-84 [公元39年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
由对象上的值确定的函数。 MFPS公司 2006 : 151-169 2005 [公元25年] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 横滨电机株式会社 :
的成分特征 λ -使用交集类型的术语。 西奥。 计算。 科学。 340 ( 三 ) : 459-495 ( 2005 ) [公元38年] 马里诺·米库兰 , 伊凡·斯卡格内托 , 福里奥·霍塞尔 :
用语境理论将规范从名词逻辑翻译成CIC。 梅林 2005 : 41-49 [公元37年] 路易吉·利科里 , 福里奥·霍塞尔 , 雷卡·雷达马拉 :
一种用于验证和操作Web文档的语言。 WWV(WWV) 2005 : 127-137 [公元36年] 路易吉·利科里 , 福里奥·霍塞尔 , 雷卡·雷达马拉 :
一种用于验证和操作Web文档的语言:(扩展摘要)。 WWV(WWV) 2005 : 67-78 [公元35年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
广义二元方法的协代数描述。 DCM@ICALP公司 2005 : 73-84 2004 [公元34年] 罗伯托·布鲁尼 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
在?中建模新鲜姓名- 使用抽象的微积分。 CMCS公司 2004 : 25-41 [电子2] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
《COMETA计算元模型项目研讨会论文集》,COMETA 2003,意大利乌迪内,2003年12月15-17日。 理论计算机科学电子笔记 104, 爱思维尔 2004 [目录] 2003 [公元24年] 法比奥·阿莱西 , 保罗·巴尔丹 , 福里奥·霍塞尔 :
可分离Stone空间的一类合成域模型。 西奥。 计算。 科学。 290 ( 1 ) : 599-635 ( 2003 ) [公元23年] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 法比奥·阿莱西 :
完整交集型预订单的完整特征。 ACM事务处理。 计算。 日志。 4 ( 1 ) : 120-147 ( 2003 ) [公元33年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 :
Web交互的组合描述。 信息通信与通信系统 2003 : 271-283 [公元32年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
交互图模型的严格几何。 LPAR公司 2003 : 407-421 [公元31年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
Rel中交互模型的“波式”几何图形类似于Lambda模型。 类型 2003 : 242-258 [公元30年] 福里奥·霍塞尔 , 伊凡·斯卡格内托 :
Coq中的移动性类型。 类型 2003 : 324-337 [公元29年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
前言。 科梅塔 2003 : 1-3 [公元28年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
集合函数的属性。 科梅塔 2003 : 61-80 [公元27年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
广义协同迭代模式。 CMCS公司 2003 : 76-93 [公元26年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
基于强制类的OO-Language的协同语义和观察等价性。 科梅塔 2003 : 163-180 2002 [公元22年] 福里奥·霍塞尔 , 唐纳德·桑内拉 :
前期关系。 Inf.计算。 178 ( 1 ) : 23-43 ( 2002 ) 2001 [公元21年] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 横滨电机株式会社 :
交叉型系统的逼近定理。 J.日志。 计算。 11 ( 三 ) : 395-417 ( 2001 ) [公元20年] 福里奥·霍塞尔 , 马里诺·米库兰 , 伊凡·斯卡格内托 :
(Co)归纳型理论中的pi-calculus。 西奥。 计算。 科学。 253 ( 2 ) : 239-285 ( 2001 ) [公元25年] 福里奥·霍塞尔 , 马里诺·米库兰 , 伊凡·斯卡格内托 :
HOAS中名义代数元推理的公理方法。 伊拉克石油公司 2001 : 963-978 [公元24年] 法比奥·阿莱西 , Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 :
过滤模型和简单术语。 信息通信与通信系统 2001 : 17-37 【c23】 福里奥·霍塞尔 , 马里诺·米库兰 , 伊凡·斯卡格内托 :
一阶和高阶抽象句法的语境理论。 TOSCA公司 2001 : 116-135 [公元22年] 罗伯托·布鲁尼 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
比较逻辑框架和平铺逻辑中的高阶编码。 托斯卡纳 2001 : 136-156 [e1] 福里奥·霍塞尔 , 马里诺·米库兰 :
《软件科学与计算结构基础》,第四届国际会议,FOSSACS 2001,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2001,意大利热那亚,2001年4月2日至6日,会议记录。 计算机科学课堂讲稿 2030, 施普林格 2001 ,十亿 3-540-41864-4 [目录] 2000 【c21】 福里奥·霍塞尔 , 约翰·朗利 , 唐纳德·桑内拉 , 安德烈·塔莱基 :
类型化Lambda微积分中的构造数据精化。 FoSSaCS公司 2000 : 161-176 [公元20年] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 法比奥·阿莱西 :
完全交集类型理论的完整表征。 ICALP卫星研讨会 2000 : 287-302 [第19条] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 横滨电机株式会社 :
使用交集类型的lambda-Terms的组成特征。 MFCS公司 2000 : 304-313 [第18条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
(超)集合理论类别中的Coalgebraic Coinduction。 CMCS公司 2000 : 132-159 [i1] Mariangiola Dezani-Ciancaglini公司 , 福里奥·霍塞尔 , 法比奥·阿莱西 :
完全交集类型理论的完整表征。 CoRR公司 反恐精英。 LO/0011039 ( 2000 )
1990 – 1999
1999 [公元19年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
应用结构的共性特征。 数学。 结构。 计算。 科学。 9 ( 4 ) : 403-435 ( 1999 ) [公元18年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
lambda-Calculus中永久策略的语义分析。 西奥。 计算。 科学。 212 ( 1-2 ) : 183-209 ( 1999 ) [第17条] 福里奥·霍塞尔 , 唐纳德·桑内拉 :
逻辑前关系。 CSL公司 1999 : 546-561 [第16条] 彼得罗·迪·贾南托尼奥 , 吉安卢卡·佛朗哥 , 福里奥·霍塞尔 :
无类型的游戏语义 λ-β-eta -微积分。 薄层色谱分析 1999 : 114-128 1998 [公元17年] 马尔科·福蒂 , 福里奥·霍塞尔 :
附录和勘误:超宇宙中的选择原则。 Ann.纯粹应用。 日志。 92 ( 2 ) : 211-214 ( 1998 ) [公元16年] 福里奥·霍塞尔 , 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 :
语言方案片段的结构化操作语义。 J.功能。 程序。 8 ( 4 ) : 335-365 ( 1998 ) [公元15年] 阿诺·阿夫伦 , 福里奥·霍塞尔 , 马里诺·米库兰 , 克里斯蒂安·帕拉瓦诺 :
在逻辑框架中编码模态逻辑。 Stud Logica公司 60 ( 1 ) : 161-208 ( 1998 ) [c15] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 路易吉·利科里 :
具有自洽扩展的对象的Lambda演算。 OOPSLA公司 1998 : 166-178 [第14条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 乌戈·蒙塔纳里 , 马可·皮斯托尔 :
pi-calculus的最终语义。 PROCOMET项目 1998 : 225-243 1997 [公元14年] 马可·福蒂 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
部分n位运算的公理化。 数学。 结构。 计算。 科学。 7 ( 三 ) : 283-302 ( 1997 ) [第13条] 法比奥·阿莱西 , 保罗·巴尔丹 , 福里奥·霍塞尔 :
使用SFP域划分石头空间(扩展抽象)。 TAPSOFT公司 1997 : 478-489 1996 [j13] 马可·福蒂 , 福里奥·霍塞尔 :
超宇宙中的选择原则。 Ann.纯粹应用。 日志。 77 ( 1 ) : 35-52 ( 1996 ) [公元12年] 迈克尔·福蒂 , 福里奥·霍塞尔 :
超宇宙的一般构造。 西奥。 计算。 科学。 156 ( 1&2 ) : 203-215 ( 1996 ) 1995 [公元11年] 福里奥·霍塞尔 , 伊恩·梅森 , 斯科特·史密斯 , 卡罗琳·塔尔科特 :
可变类型的效果逻辑。 Inf.计算。 119 ( 1 ) : 55-90 ( 1995 ) [公元10年] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 戈登·普洛金 :
不可数极限和lambda微积分。 Nord.J.计算机。 2 ( 2 ) : 126-145 ( 1995 ) [第12条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
非类型lambda-calculus的最终语义。 薄层色谱分析 1995 : 249-265 [第11条] 福里奥·霍塞尔 , 马里诺·米库兰 :
动态逻辑的自然演绎法。 类型 1995 : 165-182 1994 [公元9年] 凯瑟琳·费舍尔 , 福里奥·霍塞尔 , 约翰·米切尔 :
对象和方法专业化的lambda微积分。 Nord.J.计算机。 1 ( 1 ) : 3-37 ( 1994 ) [第10条] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 西尔维娅·利亚尼 , 戈登·普洛金 :
可数不确定性和不可数极限。 CONCUR公司 1994 : 130-145 【c9】 迈克尔·福蒂 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
过程和超宇宙。 MFCS公司 1994 : 352-363 1993 [j8] 保拉·贾尼尼 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
类型推断:一些结果,一些问题。 芬丹。 信息学 19 ( 1/2 ) : 87-125 ( 1993 ) [j7] 罗伯·哈波 , 福里奥·霍塞尔 , 戈登·普洛金 :
定义逻辑的框架。 美国临床医学杂志 40 ( 1 ) : 143-184 ( 1993 ) 【c8】 约翰·米切尔 , 福里奥·霍塞尔 , 凯瑟琳·费舍尔 :
对象和方法专门化的lambda演算。 低收入国家 1993 : 26-38 【c7】 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
关于限制Lambda演算完全抽象问题的一些结果。 MFCS公司 1993 : 84-104 【c6】 吉安东尼奥 , 福里奥·霍塞尔 :
应用的抽象概念。 薄层色谱分析 1993 : 124-138 1992 [j6] 拉维尼亚·埃吉迪 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
操作、指称和逻辑描述:案例研究。 芬丹。 信息学 16 ( 1 ) : 149-169 ( 1992 ) [j5] 阿诺·阿夫伦 , 福里奥·霍塞尔 , 伊恩·梅森 , 罗伯特·波拉克 :
使用类型化Lambda演算在机器上实现形式化系统。 J.汽车。 原因。 9 ( 三 ) : 309-354 ( 1992 ) 【j4】 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
拓扑Lambda模型的逼近定理和Lambda演算的拓扑不完全性。 J.计算。 系统。 科学。 45 ( 1 ) : 49-75 ( 1992 ) 【c5】 福里奥·霍塞尔 , 伊恩·梅森 , 斯科特·史密斯 , 卡罗琳·塔尔科特 :
功能语言的类理论及其效果。 CSL公司 1992 : 309-326 1991 【c4】 拉维尼亚·埃吉迪 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰的调用值Lamda-Calculus。 MFCS公司 1991 : 161-169 1990 【c3】 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
定性λ-模型中解释的推理。 编程概念和方法 1990 : 505-522
1980 – 1989
1988 【c2】 罗德·M·伯斯托尔 , 福里奥·霍塞尔 :
操作语义的自然演绎处理。 FSTTCS公司 1988 : 250-269 1987 【c1】 罗伯·哈波 , 福里奥·霍塞尔 , 戈登·D·普洛特金 :
定义逻辑的框架。 低收入国家 1987 : 194-204 1985 [j3] 马可·福蒂 , 福里奥·霍塞尔 :
基数排序普遍性公理的一致性。 J.塞姆。 日志。 50 ( 2 ) : 502-509 ( 1985 ) [注2] 马可·福蒂 , 福里奥·霍塞尔 :
基数排序通用的模型。 数学。 日志。 问:。 31 ( 31-34 ) : 533-536 ( 1985 ) 1984 [j1] 马可·福蒂 , 福里奥·霍塞尔 :
地方和全球普遍性公理的比较。 数学。 日志。 问:。 30 ( 13-16 ) : 193-196 ( 1984 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)