停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

尤金尼奥·莫吉

>主页 >珀森斯

人员信息

附属： 意大利热那亚大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

期刊文章

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/FarjudianM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mcs/FarjudianM23
阿明·法朱迪安,尤金尼奥·莫吉:
健壮性、Scott连续性和可计算性。数学。结构。计算。科学。 33(6):536-572(2023)
2020
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/actaC/MoggiTT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/actaC/MoggiTT20
尤金尼奥·莫吉,瓦利德·塔哈,约翰·桑伯格:
声音超过概率的近似值。《网络学报》。 24(三):269-285(2020)
2018
[公元19年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MoggiFDT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MoggiFDT18
尤金尼奥·莫吉,阿明·法朱迪安,亚当·杜拉茨,瓦利德·塔哈:
混合系统的安全和鲁棒可达性分析。西奥。计算。科学。 747:75-99(2018)
2012
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/Moggi12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/Moggi12
尤金尼奥·莫吉:
引言ICTCS 2010特别版。 RAIRO提奥。信息学应用。 46(2):201(2012)
2010
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/JaskelioffM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/JaskelioffM10
毛罗·贾斯克利奥夫,尤金尼奥·莫吉:
作为单线变压器的单线变压器。西奥。计算。科学。 411(51-52):4441-4466(2010)
2005
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Moggi05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Moggi05
尤金尼奥·莫吉:
应用语义学：选定主题。西奥。计算。科学。 342(1):1-2(2005)
2004
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/MogiS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/MoggiS04
尤金尼奥·莫吉,Amr Sabry公司:
值递归的抽象一元语义。 RAIRO提奥。信息学应用。 38(4):375-400(2004)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/FerrariMP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/FerrariMP04
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
MetaKlaim：一种用于全局计算的类型安全的多阶段语言。数学。结构。计算。科学。 14(三):367-395(2004)
2003
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/CalcagnoMS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/CalcagnoMS03
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉,蒂姆·谢尔德:
安全命令式MetaML的封闭类型。 J.功能。程序。 13(三):545-571(2003)
2002
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/FioreMS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/FioreMS02
马塞洛·菲奥雷,尤金尼奥·莫吉,戴维德·桑吉奥吉:
[pi]-演算的完全抽象模型。 Inf.计算。 179(1):76-117(2002)
2001
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/MoggiS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/MoggiS01
尤金尼奥·莫吉,Amr Sabry公司:
效果的一元封装：修订方法（扩展版）。 J.功能。程序。 11(6):591-627(2001)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/FairtloughMM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/FairtloughMM01
马特·费尔特洛,迈克尔·门德勒,尤金尼奥·莫吉:
特刊：类型理论中的模式。数学。结构。计算。科学。 11(4):507-509(2001)
1998
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/JayBM98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/JayBM98
C.巴里·杰伊,吉安娜·贝尔,尤金尼奥·莫吉:
函数ML。 J.功能。程序。 8(6):573-619(1998)
1995
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Moggi95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Moggi95
尤金尼奥·莫吉:
评估逻辑的语义。芬丹。信息学 22(1/2):117-152(1995)
1991
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/MitchellM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/MitchellM91
约翰·C·米切尔,尤金尼奥·莫吉:
类型化lambda微积分的Kripke-风格模型。 Ann.纯应用。日志。 51(1-2):99-124(1991)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Moggi91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Moggi91
尤金尼奥·莫吉:
计算和单数概念。 Inf.计算。 93(1):55-92(1991)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Moggi91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Moggi91
尤金尼奥·莫吉:
程序模块的分类理论说明。数学。结构。计算。科学。 1(1):103-139(1991)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/LongoM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/LongoM91
朱塞佩·隆戈,尤金尼奥·莫吉:
构造性自然演绎及其“Omega-Set”解释。数学。结构。计算。科学。 1(2):215-254(1991)
1990
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LongoM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LongoM90
朱塞佩·隆戈,尤金尼奥·莫吉:
函数完备性的范畴理论表征。西奥。计算。科学。 70(2):193-211(1990)
1988
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Moggi88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Moggi88网站
尤金尼奥·莫吉:
有效物体类别中的部分形态。 Inf.计算。 76(2/3):250-277(1988)
1984
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/LongoM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/LongoM84
朱塞佩·隆戈,尤金尼奥·莫吉:
高等类型中的遗传部分有效泛函和递归理论。 J.塞姆。日志。 49(4):1319-1332(1984)

会议和研讨会文件

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/Dagnino公司FM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/DagninoFM23
弗朗西斯科·达尼诺,阿明·法朱迪安,尤金尼奥·莫吉:
连续量子数和Hausdorff-Smith Monad上度量空间的稳健性。 ICTAC公司 2023:313-331
2019
[公元40年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/MoggiFT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/MoggiFT19
尤金尼奥·莫吉,阿明·法朱迪安,瓦利德·塔哈:
系统分析和稳健性。信息通信与通信系统 2019:1-7
2018
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MoggiFT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MoggiFT18
尤金尼奥·莫吉,阿明·法朱迪安,瓦利德·塔哈:
系统分析和稳健性。模型、心态、元 2018:36-44
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/DuraczMTL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/DuraczMTL18
亚当·杜拉茨,尤金尼奥·莫吉,瓦利德·塔哈,林振超:
严格模拟的语义描述。建模原理 2018:223-239
2015
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iot360/TahaDZABBDXCKMM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iot360/TahaDZABBDXCKMM15
瓦利德·塔哈,亚当·杜拉茨,曾英福,凯文·阿特金森,费伦茨·A·巴萨,保罗·布劳纳,扬·杜拉茨,费旭,罗伯特·卡特赖特,米查尔·科内肯（Michal Konecn）,尤金尼奥·莫吉,贾瓦德·马苏德,佩雷里克·安德烈亚松,井上俊美,安妮塔·皮涅罗·圣安娜,罗兰·菲利普森,亚历山大·查普特,马西娅·奥马利,亚伦·D·艾姆斯,维罗尼卡·加斯佩斯,Lise Hvatum公司,希亚姆·梅塔,亨利克·埃里克森,克里斯蒂安·格兰特:
Acumen：网络物理系统研究的开放源代码测试平台。物联网360（1） 2015:118-130
2009
[公元36年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/Moggi09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/Moggi09
尤金尼奥·莫吉:
单体变形金刚。信息通信与通信系统 2009:175-178
2007
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Moggi07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Moggi07
尤金尼奥·莫吉:
构建操作语义：简化和计算。计算、意义和逻辑 2007:479-497
2004
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CalcagnoMT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CalcagnoMT04
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉,瓦利德·塔哈:
分类器的类ML推理。员工持股计划 2004:79-93
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmco/AnconaM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmco/AnconaM04
戴维德·安科纳,尤金尼奥·莫吉:
程序生成和组件。 FMCO公司 2004:222-250
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/安科纳M04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/AnconaM04
戴维德·安科纳,尤金尼奥·莫吉:
名称管理的新微积分。 GPCE公司 2004:206-224
2003
[公元31年]
- 看法
  - 电子版@ioc.ee
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/MoggiS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/MoggiS03
尤金尼奥·莫吉,Amr Sabry公司:
一种用于值递归的抽象Mondic语义。菲莎国际学院 2003:64-79
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MoggiF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MoggiF03
尤金尼奥·莫吉,索尼娅·法戈齐:
一种多阶段的元语言。 FoSSaCS公司 2003:358-374
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/global/BettiniBNFGLMPTV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03
洛伦佐·贝蒂尼,薇薇安娜·波诺,洛科·德·尼古拉,吉安·路易吉·费拉里,丹尼尔·戈拉,米歇尔·洛雷蒂,尤金尼奥·莫吉,罗萨里奥·普格利泽,埃米利奥·托斯托,贝蒂·文内里:
克莱姆计划：理论与实践。全球计算 2003:88-150
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AnconaFMZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AnconaFMZ03
戴维德·安科纳,索尼娅·法戈齐,尤金尼奥·莫吉,埃琳娜·祖卡:
Mixin模块和计算效果。 ICALP公司 2003:224-238
2002
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FerrariMP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FerrariMP02
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
环境监测监护人。 F-WAN@ICALP 2002:52-75
2001
[c26]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saig/FerrariMP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saig/FerrariMP01
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
MetaKlaim：全球计算的元编程。 SAIG公司 2001:183-198
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FerrariMP01a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FerrariMP01a
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
全球类型和网络服务。康考德 2001:35-48
[c24]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FerrariMP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FerrariMP01
吉安·路易吉·费拉里,尤金尼奥·莫吉,罗萨里奥·普格利泽:
全球计算的高阶类型和元编程。托斯卡纳 2001:52-68
2000
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ac/本顿HM00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ac/BentonHM00
尼克·本顿,约翰·休斯,尤金尼奥·莫吉:
Monads和Effects。应用扫描电镜 2000:42-122
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CalcagonMT00配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CalcagnoMT00
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉,瓦利德·塔哈:
封闭类型是安全的强制多阶段编程的简单方法。 ICALP公司 2000:25-36
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saig/CalcagnoM00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saig/CalcagnoM00
克里斯蒂亚诺·卡尔卡尼奥,尤金尼奥·莫吉:
多阶段命令式语言：一个保守的扩展结果。 SAIG公司 2000:92-107
1999
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/MoggiTBS99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/MoggiTBS99
尤金尼奥·莫吉,瓦利德·塔哈,Zine-El-Abidine Benaissa公司,蒂姆·谢尔德:
理想化的MetaML：更简单，更具表现力。员工持股计划 1999:193-207
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MoggiP99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MoggiP99
尤金尼奥·莫吉,法布里齐奥·帕伦博:
效果的一元封装：一种改进的方法。 HOOTS公司 1999:121
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MoggiBJ99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MoggiBJ99
尤金尼奥·莫吉,吉安娜·贝尔,C.巴里·杰伊:
单数、形状函子和遍历。 CTCS公司 1999:187-208
1998
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Moggi98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Moggi98
尤金尼奥·莫吉:
仿函数类别和两级语言。 FoSSaCS公司 1998:211-225
1997
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/贝尔M97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/BelleM97
吉安娜·贝尔,尤金尼奥·莫吉:
形状分析的类型化中间语言。薄层色谱分析 1997:11-29
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Moggi97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Moggi97
尤金尼奥·莫吉:
对两级语言的分类描述。 MFPS公司 1997:272
1996
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/FioreMS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/FioreMS96
马塞洛·菲奥雷,尤金尼奥·莫吉,戴维德·桑吉奥吉:
pi-Calculus的完全抽象模型（扩展抽象）。低收入国家 1996:43-54
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/plilp/BelleJM96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/plilp/BelleJM96网址
吉安娜·贝尔,C.巴里·杰伊,尤金尼奥·莫吉:
函数ML。 PLILP公司 1996:32-46
1995
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/HylandM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/HylandM95
J.M.E.海兰德,尤金尼奥·莫吉:
S-Replete构造。范畴理论与计算机科学 1995:96-116
1994
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Moggi94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Moggi94
尤金尼奥·莫吉:
评估逻辑的一般语义。低收入国家 1994:353-362
1991
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Moggi91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Moggi91
尤金尼奥·莫吉:
指称语义的模块化方法。范畴理论与计算机科学 1991:138-139
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/JacobsMS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/JacobsMS91
雅各布施,尤金尼奥·莫吉,托马斯·斯特里彻:
实证型理论的相关模型。范畴理论与计算机科学 1991:197-218
1990
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HarperMM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HarperMM90
罗伯·哈波,约翰·C·米切尔,尤金尼奥·莫吉:
高阶模和相位区分。 POPL公司 1990:341-354
1989
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Moggi89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Moggi89
尤金尼奥·莫吉:
程序模块的范畴理论说明。范畴理论与计算机科学 1989:101-117
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Moggi89
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Moggi89
尤金尼奥·莫吉:
计算Lambda-微积分和单数。低收入国家 1989:14-23
1987
【c5】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lics/MitchellM87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/MitchellM87
约翰·C·米切尔,尤金尼奥·莫吉:
Kripke-类型lambda演算的样式模型。低收入国家 1987:303-314
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/MeyerMMS87
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/MeyerMMS87
阿尔伯特·梅耶,约翰·C·米切尔,尤金尼奥·莫吉,理查德·斯塔特曼:
多形Lambda微积分中的空类型。 POPL公司 1987:253-262
1985
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Moggi85
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Moggi85
尤金尼奥·莫吉:
部分形态范畴与λ^第页-微积分。 CTCS公司 1985:242-251
1984
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LongoM84文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LongoM84
朱塞佩·隆戈,尤金尼奥·莫吉:
哥德尔数，主形态，组合代数：函数完备性的范畴理论表征。 MFCS公司 1984:397-406
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sdt/LongoM84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sdt/LongoM84
朱塞佩·隆戈,尤金尼奥·莫吉:
有效类型结构的笛卡尔闭枚举分类（第一部分和第二部分）。数据类型的语义 1984:235-255

编辑

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2007
[电子3]
- 看法
  - dblp中的目录
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/2007
朱塞佩·F·意大利,尤金尼奥·莫吉,路易吉·劳拉:
理论计算机科学，第十届意大利会议，ICTCS2007，意大利罗马，2007年10月3-5日，会议记录。世界科学 2007，国际标准图书编号981-277-098-4 [目录]
2004
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/ppdp/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdp/2004
尤金尼奥·莫吉,大卫·斯科特·沃伦:
2004年8月24日至26日在意大利维罗纳举行的第六届ACM SIGPLAN声明式编程原理与实践国际会议论文集。 ACM公司 2004，国际标准图书编号1-58113-819-9 [目录]
1997
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/1997
尤金尼奥·莫吉,朱塞佩·罗索里尼:
类别理论与计算机科学，第七届国际会议，CTCS’97，圣玛格丽塔·利古尔，意大利，1997年9月4-6日，会议记录。计算机科学课堂讲稿1290,施普林格 1997，国际标准图书编号3-540-63455-X型 [目录]

非正式出版物和其他出版物

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2309-06968
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-06968
弗朗西斯科·达尼诺,阿明·法朱迪安,尤金尼奥·莫吉:
连续量子数和Hausdorff-Smith Monad上度量空间的稳健性。 CoRR公司 abs/2309.06968(2023)
2022
[i2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2208-12347
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-12347
阿明·法朱迪安,尤金尼奥·莫吉:
健壮性、Scott连续性和可计算性。 CoRR公司 abs/2208.12347(2022)
2017
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-05658
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-05658
尤金尼奥·莫吉,阿明·法朱迪安,亚当·杜拉茨,瓦利德·塔哈:
混合系统的安全与鲁棒可达性分析。 CoRR公司 abs/1709.05658(2017)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。