玛丽娜·莱尼萨
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [i3] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
作为部分对合的主类型。 CoRR公司 abs/2402.07230 ( 2024 ) 2022 [公元44年] 乌戈·达尔·拉戈 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 保罗·皮斯通 :
关于数量代数高阶理论。 金融稳定与发展部 2022 : 4:1-4:18 [i2] 乌戈·达尔·拉戈 , Furio Honsell先生 , 玛丽娜·莱尼萨 , 保罗·皮斯托内 :
关于数量代数高阶理论。 CoRR公司 abs/2204.13654 ( 2022 ) 2021 [公元43年] 彼得罗·迪·贾南托尼奥 , 玛丽娜·莱尼萨 :
主要类型为Lambda Nets。 类型 2021 : 5:1-5:23 2020 [公元42年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
∧-Symsym:用于处理对合和类型的交互式工具。 类型 2020 : 7:1-7:18
2010 – 2019
2019 [公元14年] 法比奥·阿莱西 , 阿尔贝托·齐法格利翁 , 吉安东尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
LF+在Coq中用于“快速和松散”推理。 J.福尔马利兹。 原因。 12 ( 1 ) : 11-51 ( 2019 ) [c41] 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
兰姆达- 微积分、交集类型和对合。 金融稳定与发展部 2019 : 15:1-15:16 [公元40年] 法比奥·阿莱西 , 阿尔贝托·齐法格利翁 , 彼得罗·迪·贾南托尼奥 , Furio Honsell先生 , 玛丽娜·莱尼萨 :
Lax逻辑框架LLFP在Coq中的定义实现,用于支持快速和松散推理。 LICS的LFMTP 2019 : 8-23 2018 [公元39年] 阿尔贝托·齐法格利翁 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
内卷化作为基本类型/应用程序作为统一类比。 LPAR公司 2018 : 254-270 [i1] 阿尔贝托·齐法格利翁 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 :
线性lambda-calculus和可逆自动组合器。 CoRR公司 abs/1806.06759 ( 2018 ) 2016 [j13] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 伊凡·斯卡格内托 , 路易吉·利科里 , 彼得·马克西莫维奇 :
开放的逻辑框架。 J.日志。 计算。 26 ( 1 ) : 293-335 ( 2016 ) [公元38年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 , 伊凡·斯卡格内托 :
实施坎托天堂。 阿普拉斯 2016 : 229-250 2015 [公元12年] 玛丽娜·莱尼萨 :
多游戏和策略,联合。 理论。 计算。 科学。 604 : 46-62 ( 2015 ) 2014 [j11] Furio Honsell先生 , 玛丽娜·莱尼萨 , 丹尼尔·佩拉里尼 :
具有选择性和的拼图游戏的类别。 芬丹。 信息学 134 ( 3-4 ) : 395-414 ( 2014 ) [公元37年] 玛丽娜·莱尼萨 :
Coalgebraic多游戏。 羧甲基纤维素 2014 : 33-49 2013 [公元36年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
解开不动点:λY-演算理论。 计算、逻辑、游戏和量子基础 2013 : 150-165 [公元35年] 彼得罗·迪·贾南托尼奥 , 玛丽娜·莱尼萨 :
通过交叉类型分配系统的天真游戏语义。 CSL公司 2013 : 231-247 2012 [j10] Furio Honsell先生 , 玛丽娜·莱尼萨 , 雷卡雷达马拉 :
无限康威对策的等价与同余。 RAIRO提奥。 信息学应用。 46 ( 2 ) : 231-259 ( 2012 ) [公元34年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
拼图游戏的类别。 MFCS公司 2012 : 503-515 2011 [公元9年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
康威博弈,代数和余代数。 日志。 方法计算。 科学。 7 ( 三 ) ( 2011 ) 2010 [公元33年] 彼得罗·迪·贾南托尼奥 , 斯维特兰娜·雅克西奇 , 玛丽娜·莱尼萨 :
基于二阶反应语义的有效双相似性 圆周率 -微积分。 CONCUR公司 2010 : 358-372
2000 – 2009
2009 [j8] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
RPO、二阶上下文和Lambda-calculus。 日志。 方法计算。 科学。 5 ( 三 ) ( 2009 ) [公元32年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
康威游戏公司(Conway Games),Coalgebraically。 CALCO公司 2009 : 300-316 [电子4] 亚历山大·库兹 , 玛丽娜·莱尼萨 , 安德烈·塔莱基 :
计算机科学中的代数和余代数,第三届国际会议,CALCO 2009,意大利乌迪内,2009年9月7日至10日。 诉讼程序。 计算机科学课堂讲稿 5728, 施普林格 2009 ,国际标准图书编号 978-3-642-03740-5 [目录] 2008 [j7] 彼得罗·迪·贾南托尼奥 , Furio Honsell先生 , 玛丽娜·莱尼萨 :
游戏语义的类型分配系统。 理论。 计算。 科学。 398 ( 1-3 ) : 150-169 ( 2008 ) [公元31年] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
RPO、二阶上下文和lambda-Calculus。 FoSSaCS公司 2008 : 334-349 [公元30年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 , 伊凡·斯卡格内托 :
条件逻辑框架。 LPAR公司 2008 : 143-157 [公元29年] 彼得罗·迪·贾南托尼奥 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
过程演算反应语义学中的有限分支标记转换系统。 WADT(瓦特) 2008 : 119-134 2007 [j6] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
广义二进制方法的协代数描述。 数学。 结构。 计算。 科学。 17 ( 4 ) : 647-673 ( 2007 ) [公元28年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 :
定义逻辑框架的框架。 计算、意义和逻辑 2007 : 399-436 2006 [公元27年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
集合函子的一些性质和一些问题。 羧甲基纤维素 2006 : 67-84 [公元26年] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
由对象上的值确定的函数。 MFPS公司 2006 : 151-169 2005 [j5] 萨姆森·阿布拉姆斯基 , 玛丽娜·莱尼萨 :
类型lambda-calculi的线性可实现性和完全完备性。 Ann.纯粹应用。 日志。 134 ( 2-3 ) : 122-168 ( 2005 ) [公元25年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
广义二元方法的协代数描述。 DCM@ICALP公司 2005 : 73-84 2004 【j4】 玛丽娜·莱尼萨 , 约翰·鲍尔 , 渡边浩史 :
操作语义学的范畴理论。 理论。 计算。 科学。 327 ( 1-2 ) : 135-154 ( 2004 ) [公元24年] 罗伯托·布鲁尼 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
在?中建模新鲜姓名- 使用抽象的微积分。 羧甲基纤维素 2004 : 25-41 [电子3] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
《COMETA计算元模型项目研讨会论文集》,COMETA 2003,意大利乌迪内,2003年12月15-17日。 理论计算机科学电子笔记 104, 爱思维尔 2004 [目录] 2003 【c23】 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
交互图模型的严格几何。 LPAR公司 2003 : 407-421 [公元22年] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
Rel中交互模型的“波式”几何图形类似于Lambda模型。 类型 2003 : 242-258 【c21】 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 马里诺·米库兰 :
前言。 科梅塔 2003 : 1-3 [公元20年] 丹妮拉·坎奇拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
集合函数的属性。 科梅塔 2003 : 61-80 [第19条] 丹妮拉·坎西拉 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
广义协同迭代模式。 羧甲基纤维素 2003 : 76-93 [第18条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 雷卡·雷达马拉 :
基于强制类的OO-Language的协同语义和观察等价性。 科梅塔 2003 : 163-180 2002 [电子2] 玛丽娜·莱尼萨 , 马里诺·米库兰 :
并发理论,高阶语言和类型,TOSCA 2001,意大利乌迪内,2001年11月19-21日。 理论计算机科学电子笔记 62, 爱思维尔 2002 [目录] 2001 [第17条] 萨姆森·阿布拉姆斯基 , 玛丽娜·莱尼萨 :
简单类型lambda-Calculus的完全完备最小PER模型。 CSL公司 2001 : 443-457 [第16条] 罗伯托·布鲁尼 , 福里奥·霍塞尔 , 玛丽娜·莱妮莎 , 马里诺·米库兰 :
比较逻辑框架和平铺逻辑中的高阶编码。 TOSCA公司 2001 : 136-156 [第15条] 玛丽娜·莱尼萨 , 马里诺·米库兰 :
前言。 TOSCA公司 2001 : 257-258 [第14条] 安德烈亚·科拉迪尼 , 玛丽娜·莱尼萨 , 乌戈·蒙塔纳里 :
前言。 羧甲基纤维素 2001 : 308-309 [电子1] 安德烈亚·科拉迪尼 , 玛丽娜·莱尼萨 , 乌戈·蒙塔纳里 :
计算机科学中的协同代数方法,CMCS 2001,ETAPS 2001卫星活动,意大利热那亚,2001年4月6日至7日。 理论计算机科学电子笔记 44(1), 爱思维尔 2001 [目录] 2000 [第13条] 萨姆森·阿布拉姆斯基 , 玛丽娜·莱尼萨 :
ML多态类型的完全PER模型。 CSL公司 2000 : 140-155 [第12条] 萨姆森·阿布拉姆斯基 , 玛丽娜·莱尼萨 :
ML多态类型的公理化完全完备模型。 MFCS公司 2000 : 141-151 [第11条] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
(超)集合理论类别中的Coalgebraic Coinduction。 羧甲基纤维素 2000 : 132-159 [第10条] 玛丽娜·莱尼萨 , 约翰·鲍尔 , 渡边浩史 :
内函子、尖内函子和共点内函子,单子和余子的分布性。 羧甲基纤维素 2000 : 230-260
1990 – 1999
1999 [j3] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
应用结构的共性特征。 数学。 结构。 计算。 科学。 9 ( 4 ) : 403-435 ( 1999 ) [注2] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
lambda-Calculus中永久策略的语义分析。 理论。 计算。 科学。 212 ( 1-2 ) : 183-209 ( 1999 ) 【c9】 玛丽娜·莱尼萨 :
圆对象上互模拟等价的完整共导逻辑系统。 FoSSaCS公司 1999 : 243-257 【c8】 玛丽娜·莱尼萨 :
从集合论的共聚到共代数的共聚:一些结果,一些问题。 羧甲基纤维素 1999 : 2-22 1998 【c7】 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 乌戈·蒙塔纳里 , 马可·皮斯托尔 :
pi-calculus的最终语义。 PROCOMET项目 1998 : 225-243 1997 [j1] 马可·福蒂 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
部分n位运算的公理化。 数学。 结构。 计算。 科学。 7 ( 三 ) : 283-302 ( 1997 ) 【c6】 玛丽娜·莱尼萨 :
证明Lambda-Calculi中重合原则的统一句法方法。 TAPSOFT公司 1997 : 309-320 【c5】 玛丽娜·莱尼萨 :
推导Lambda-calculi观测等价物共导特征的语义技术。 薄层色谱分析 1997 : 248-266 1996 【c4】 玛丽娜·莱尼萨 :
高阶并发语言的最终语义。 CAAP公司 1996 : 102-118 1995 【c3】 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
非类型lambda-calculus的最终语义。 薄层色谱分析 1995 : 249-265 1994 【c2】 迈克尔·福蒂 , 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
过程和超宇宙。 MFCS公司 1994 : 352-363 1993 [c1] 福里奥·霍塞尔 , 玛丽娜·莱尼萨 :
关于限制Lambda演算的完全抽象问题的一些结果。 MFCS公司 1993 : 84-104
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)