停止战争！

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

对于科学家：

默认搜索操作

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

问别人

尼尔·加尼

>主页 >珀森斯

人员信息

附属： 英国诺丁汉大学计算机科学与信息技术系
附属： 英国莱斯特大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2404-00408
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-00408
杰弗里·科特威尔,布鲁诺·加夫拉诺维奇,尼尔·加尼,保罗·威尔逊,法比奥·扎纳西:
参数化镜片的深度学习。 CoRR公司 abs/2404.00408(2024)
2022
[c58]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CruttwellGGWZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CruttwellGGWZ22
杰弗里·科特威尔,布鲁诺·加夫拉诺维奇,尼尔·加尼,保罗·威尔逊,法比奥·扎纳西:
基于梯度学习的分类基础。员工持股计划 2022:1-28
2021
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-06763
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-06763
马泰奥·卡布奇,尼尔·加尼,杰雷米·莱登特,弗雷德里克·诺德瓦尔·福斯伯格:
使用代理将扩展形式游戏翻译为开放式游戏。 ACT公司 2021:221-234
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2103-01931
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2103-01931
杰夫·S·H·克鲁特韦尔,布鲁诺·加夫拉诺维奇,尼尔·加尼,保罗·威尔逊,法比奥·扎纳西:
基于梯度学习的分类基础。 CoRR公司腹肌/2103.01931(2021)
2020
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/ForsbergXG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/ForsbergXG20
弗雷德里克·诺德瓦尔·福斯伯格,许创杰,尼尔·加尼:
立方Agda中的三个等价序数符号系统。清洁石油产品 2020:172-185
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2101-12045
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-12045
罗伯特·阿特基,布鲁诺·加夫拉诺维奇,尼尔·加尼,克莱门斯·库普克,杰雷米·莱登特,弗雷德里克·诺德瓦尔·福斯伯格:
组合博弈论，组合。 ACT公司 2020:198-214

2010 – 2019

请参阅常见问题解答

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

2019
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GhaniFO19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GhaniFO19
尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,费德里科·奥尔萨尼戈:
双振参数中泛型的泛性质。数学。结构。计算。科学。 29(6):810-827(2019)
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2009-06831
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2009-06831
尼尔·加尼,克莱门斯·库普克,阿拉斯代尔·兰伯特,弗雷德里克·诺德瓦尔·福斯伯格:
混合策略的组合博弈论：使用分布律的概率开放博弈。 ACT公司 2019:95-105
2018
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GhaniKLF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GhaniKLF18
尼尔·加尼,克莱门斯·库普克,阿拉斯代尔·兰伯特,弗雷德里克·诺德瓦尔·福斯伯格:
对迭代开放游戏的组合处理。理论。计算。科学。 741:48-57(2018)
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GhaniHWZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GhaniHWZ18
尼尔·加尼,朱尔斯·赫奇斯,维克托·温舍尔,菲利普·扎恩:
组合博弈论。低收入国家 2018:472-481
2017
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/evoW/SwanKG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/evoW/SwanKG17
杰里·斯旺,Krzysztof Krawiec公司,尼尔·加尼:
多型遗传编程。 EvoApplications（2） 2017:66-81
[第51条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/GhaniMFS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/GhaniMFS17
尼尔·加尼,康诺·麦克布莱德,弗雷德里克·诺德瓦尔·福斯伯格,斯蒂芬·斯潘:
归纳递归定义的变化。 MFCS公司 2017:63:1-63:13
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-07968
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-07968
尼尔·加尼,克莱门斯·库普克,阿拉斯代尔·兰伯特,弗雷德里克·诺德瓦尔·福斯伯格:
对重复开放游戏的组合处理。 CoRR公司腹肌/1711.07968(2017)
2016
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GhaniH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GhaniH16
尼尔·加尼,彼得·汉考克:
容器、单子体和归纳递归。数学。结构。计算。科学。 26(1):89-113(2016)
[公元50年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GhaniFO16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GhaniFO16
尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,费德里科·奥尔萨尼戈:
证明相关参数。改变世界的成功列表 2016:109-131
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GhaniFS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GhaniFS16
尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,亚历克斯·辛普森:
综合参数多态性：范畴模型和类型理论。 FoSSaCS公司 2016:3-19
[c48]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AhmanGP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AhmanGP16
丹尼尔·艾哈曼,尼尔·加尼,戈登·普洛金:
依赖类型和光纤计算效果。 FoSSaCS公司 2016:36-54
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GhaniH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GhaniH16
尼尔·加尼,朱尔斯·赫奇斯:
经济博弈论的组合方法。 CoRR公司 abs/1603.04641(2016)
2015
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GhaniMF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GhaniMF15
尼尔·加尼,洛伦佐·马拉特斯塔,弗雷德里克·诺德瓦尔·福斯伯格:
正归纳递归定义。日志。方法计算。科学。 11(1)(2015)
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/AltenkirchGHMM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/AltenkirchGHMM15
托尔斯滕·阿滕柯奇,尼尔·加尼,彼得·汉考克,康诺·麦克布莱德,彼得·莫里斯:
索引容器。 J.功能。程序。 25(2015)
[公元47年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/AtkeyGFRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/AtkeyGFRS15
罗伯特·阿特基,尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,蒂莫西·雷维尔,萨姆·斯塔顿:
物理维上的多态模型。薄层色谱分析 2015:45-59
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/GhaniFO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/GhaniFO15
尼尔·加尼,弗雷德里克·诺德瓦尔·福斯伯格,费德里科·奥尔萨尼戈:
参数多态性-普遍。沃尔利克 2015:81-92
[公元45年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniJFOR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniJFOR15
尼尔·加尼,帕特里夏·约翰,弗雷德里克·诺德瓦尔·福斯伯格,费德里科·奥尔萨尼戈,蒂姆·雷维尔:
参数多态的双有理函数语义。 MFPS公司 2015:165-181
2014
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AtkeyGJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AtkeyGJ14
罗伯特·阿特基,尼尔·加尼,帕特里夏·约翰:
依赖型理论的相关参数模型。府绸 2014:503-516
2013
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/GhaniJF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GhaniJF13
尼尔·加尼,帕特里夏·约翰,Clément Fumex公司:
指数诱导和共诱导，纤维。日志。方法计算。科学。 9(三)(2013)
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/GhaniMF13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calc/GhaniMF13
尼尔·加尼,洛伦佐·马拉特斯塔,弗雷德里克·诺德瓦尔·福斯伯格:
正归纳递归定义。 CALCO公司 2013:19-33
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/GhaniMFS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/GhaniMFS13
尼尔·加尼,洛伦佐·马拉特斯塔,弗雷德里克·诺德瓦尔·福斯伯格,安东·塞泽尔:
光纤数据类型。低收入国家 2013:243-252
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/HancockMGMA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/HancockMGMA13
彼得·汉考克,康诺·麦克布莱德,尼尔·加尼,洛伦佐·马拉特斯塔,托尔斯滕·阿滕柯奇:
小归纳递归。薄层色谱分析 2013:156-172
2012
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-2492
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-2492
罗伯特·阿特基,帕特里夏·约翰,尼尔·加尼:
精炼归纳类型。日志。方法计算。科学。 8(2)(2012)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1206-0357
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1206-0357
尼尔·加尼,帕特里夏·约翰,Clément Fumex公司:
普通纤维化诱导。日志。方法计算。科学。 8(2)(2012)
[公元40年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AtkeyGJJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AtkeyGJJ12
罗伯特·阿特基,尼尔·加尼,雅各布施,帕特里夏·约翰:
纤维诱导达到效果。 FoSSaCS公司 2012:42-57
2011
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/FumexGJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/FumexGJ11
Clément Fumex公司,尼尔·加尼,帕特里夏·约翰:
指数诱导和共诱导，纤维。 CALCO公司 2011:176-191
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AtkeyJG11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AtkeyJG11
罗伯特·阿特基,帕特里夏·约翰,尼尔·加尼:
什么时候类型优化是归纳类型？ FoSSaCS公司 2011:72-87
2010
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/GhaniJF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GhaniJF10
尼尔·加尼,帕特里夏·约翰,Clément Fumex公司:
初始代数的纤维化归纳规则。 CSL公司 2010:336-350

2000 – 2009

请参阅常见问题解答

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

2009
[公元15年]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0905-4813
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0905-4813
尼尔·加尼,彼得·汉考克,德克·帕丁森:
使用嵌套固定点的流处理器表示。日志。方法计算。科学。 5(三)(2009)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijfcs/MorrisAG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijfcs/MorrisAG09
彼得·莫里斯,托尔斯滕·阿滕柯奇,尼尔·加尼:
一个充满积极家庭的世界。发现的国际期刊。计算。科学。 20(1):83-107(2009)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/JohannG09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/JohannG09
帕特里夏·约翰,尼尔·加尼:
Haskell中使用嵌套类型编程的原则方法。高。订购符号。计算。 22(2):155-189(2009)
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniHP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniHP09
尼尔·加尼,彼得·汉考克,德克·帕丁森:
最终余代数上的连续函数。 MFPS公司 2009:3-18
2008
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/flops/PrinceGM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flops/PrinceGM08
罗勒·C·S·普林斯,尼尔·加尼,康诺·麦克布莱德:
使用容器证明列表的属性。 FLOPS（浮动） 2008:97-112
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/JohannG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/JohannG08
帕特里夏·约翰,尼尔·加尼:
GADT结构化编程基础。府绸 2008:297-308
[公元33年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sfp/GaniJ08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/GhaniJ08
尼尔·加尼,帕特里夏·约翰:
快捷融合效果。函数式编程趋势 2008:113-128
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/JaskelioffGH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/JaskelioffGH11
毛罗·贾斯克利奥夫,尼尔·加尼,格雷厄姆·赫顿:
数学运算语义的模块化和实现。 ICALP的MSFP 2008:75-95
2007
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/GhaniJ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/GhaniJ07
尼尔·加尼,帕特里夏·约翰:
一元增强和广义捷径融合。 J.功能。程序。 17(6):731-776(2007)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/GhaniK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/GhaniK07
尼尔·加尼,亚历山大·库兹:
高维树，代数。 CALCO公司 2007:226-241
[公元30年]
- 看法
  - 电子版@westernsydney.edu.au（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cats/MorrisAG07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cats/MorrisAG07
彼得·莫里斯,托尔斯滕·阿滕柯奇,尼尔·加尼:
构建严格积极的家庭。猫 2007:111-121
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/JohannG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/JohannG07
帕特里夏·约翰,尼尔·加尼:
初始代数语义就足够了！薄层色谱分析 2007:207-222
2006
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/BrownGHW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/BrownGHW06
罗纳德·布朗,尼尔·加尼,安妮·海沃思,克里斯托弗·温斯利:
双陪集系统的字符串重写。 J.塞姆。计算。 41(5):573-590(2006)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/GhaniUH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/GhaniUH06
尼尔·加尼,塔尔莫·乌斯塔卢,Makoto Hamana公司:
显式替换和高阶语法。高。订购符号。计算。 19(2-3):263-282(2006)
[c28]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniP06
尼尔·加尼,约翰·鲍尔:
前言。 CMCS公司 2006:1-2
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniHP06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniHP06
尼尔·加尼,彼得·汉考克,德克·帕丁森:
最终余代数上的连续函数。 CMCS公司 2006:141-155
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/cmcs/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmcs/2006
尼尔·加尼,约翰·鲍尔:
2006年3月25日至27日在奥地利维也纳举行的第八届计算机科学中的协代数方法研讨会论文集。理论计算机科学电子笔记164(1),爱思维尔 2006 [目录]
2005
[公元9年]
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/fuin/AbbottAMG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/AbbottAMG05
迈克尔·戈登·阿博特,托尔斯滕·阿滕柯奇,康诺·麦克布莱德,尼尔·加尼:
对于数据：区分数据结构。芬丹。信息学 65(1-2):1-28(2005)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GhaniLM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GhaniLM05
尼尔·加尼,克里斯托夫·吕斯,费德里科·德马奇:
余代数的单子：有理项和项图。数学。结构。计算。科学。 15(三):433-451(2005)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AbbottAG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AbbottAG05
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼:
容器：构造严格的正类型。理论。计算。科学。 342(1):3-27(2005)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GhaniJUV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GhaniJUV05
尼尔·加尼,帕特里夏·约翰,塔尔莫·乌斯塔卢,瓦尔莫·维尼:
一元增强和广义捷径融合。 ICFP公司 2005:294-305
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/AbbottGL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/AbbottGL05
迈克尔·戈登·阿博特,尼尔·加尼,克里斯托夫·吕斯:
抽象模块化。区域贸易协定 2005:46-60
2004
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/GhaniU04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/GhaniU04
尼尔·加尼,塔尔莫·乌斯塔卢:
理想单子的副产物。 RAIRO提奥。信息学应用。 38(4):321-342(2004)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/GhaniUV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/GhaniUV04
尼尔·加尼,塔尔莫·乌斯塔卢,瓦尔莫·维尼:
建造、增援和摧毁，普遍适用。阿普拉斯 2004:327-347
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AbbottAG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AbbottAG04
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼:
使用W型表示嵌套电感类型。 ICALP公司 2004:59-71
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/AbbottAGM04会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/AbbottAGM04
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼,康诺·麦克布莱德:
构造商类型的多态程序。 MPC公司 2004:2-15
【c21】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/sfp/GhaniUV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/GhaniUV04
尼尔·加尼,塔尔莫·乌斯塔卢,瓦尔莫·维尼:
推广AUGMENT组合子。函数式编程趋势 2004:65-78
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GlimmingG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GlimmingG05
约翰·格林明,尼尔·加尼:
对象演算的双功能语义。木材 2004:79-94
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniYV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniYV04
尼尔·加尼,基丹·叶马内,比约恩·维克多:
移动过程计算中的关系阶段计算。 CMCS公司 2004:105-120
2003
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ita/MarchiGL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ita/MarchiGL03
费德里科·德·马尔基,尼尔·加尼,克里斯托夫·吕斯:
用余代数求解代数方程。 RAIRO提奥。信息学应用。 37(4):301-314(2003)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GhaniLMP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GhaniLMP03
尼尔·加尼,克里斯托夫·吕斯,费德里科·德马奇,约翰·鲍尔:
对偶初始代数。数学。结构。计算。科学。 13(2):349-370(2003)
[j3]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/njc/GhaniL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/njc/GhaniL03
尼尔·加尼,克里斯托夫·吕斯:
通过Coinserters重写。 Nord.J.计算。 10(4):290-312(2003)
[第18条]
- 看法
  - 电子版@ioc.ee
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/GhaniU03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/GhaniU03
尼尔·加尼,塔尔莫·乌斯塔卢:
理想单子的副产物（扩展抽象）。菲莎国际学院 2003:32-36
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AbbottAG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbbotAG03
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼:
容器类别。 FoSSaCS公司 2003:23-38
[c16]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GhaniU03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GhaniU03
尼尔·加尼,塔尔莫·乌斯塔卢:
显式替换和高阶语法。梅林 2003
[c15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/GhaniH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/GhaniH03
尼尔·加尼,安妮·海沃思:
Reidemiter-Schreier的重写替代方案。区域贸易协定 2003:452-466
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/AbbottAGM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/AbbottAGM03
迈克尔·戈登·阿博特,托尔斯滕·阿滕柯奇,尼尔·加尼,康诺·麦克布莱德:
容器衍生物。薄层色谱分析 2003:16-30
2002
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/GhaniLM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/GhaniLM02
尼尔·加尼,克里斯托夫·吕斯,费德里科·德马奇:
代数项的协代数方法。菲莎国际学院 2002:6-8
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/LuthG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/LuthG02
克里斯托夫·吕斯,尼尔·加尼:
单数和模块化。 FroCoS公司 2002:18-32
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/LuthG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/LuthG02
克里斯托夫·吕斯,尼尔·加尼:
使用副产物合成monad。 ICFP公司 2002:133-144
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniH02
尼尔·加尼,安妮·海沃思:
基于K-模的计算。猫 2002:34-50
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniLM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniLM02
尼尔·加尼,克里斯托夫·吕思,费德里科·德马奇:
Coalgebraic单子。 CMCS公司 2002:71-91
2001
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GhaniLMP01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GhaniLMP01
尼尔·加尼,克里斯托夫·吕斯,费德里科·德马奇,约翰·鲍尔:
代数、余代数、单数和余代数。 CMCS公司 2001:128-145
2000
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/GhaniPR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/GhaniPR00
尼尔·加尼,瓦莱丽亚·德佩瓦,艾克·里特:
线性显式替换。日志。J.IGPL公司 8(1):7-31(2000)

1990 – 1999

请参阅常见问题解答

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

1999
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GhaniPR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GhaniPR99
尼尔·加尼,瓦莱丽亚·德佩瓦,艾克·里特:
显式替换的分类模型。 FoSSaCS公司 1999:197-211
1998
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GhaniPR98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GhaniPR98
尼尔·加尼,瓦莱丽亚·德佩瓦,艾克·里特:
建设性必要性的明确替代。 ICALP公司 1998:743-754
1997
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/LuethG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/LuethG97
克里斯托夫·吕斯,尼尔·加尼:
单数和模项重写。范畴理论与计算机科学 1997:69-86
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CosmoG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CosmoG97
罗贝多·迪·科斯莫,尼尔·加尼:
关于高阶扩张Lambda演算的模性质。 ICALP公司 1997:237-247
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/加纳97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ghani97网址
尼尔·加尼:
从属类型理论中的Eta展开-构造演算。薄层色谱分析 1997:164-180
1996
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Ghani96公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Ghani96网址
尼尔·加尼:
F中的Eta展开^欧米茄. CSL公司 1996:182-197
1995
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/JayG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/JayG95
C.巴里·杰伊,尼尔·加尼:
埃塔扩张的优点。 J.功能。程序。 5(2):135-154(1995)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/Ghani95号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/Ghani95网址
尼尔·加尼:
ßn-副积的等式。薄层色谱分析 1995:171-185

合著者索引

请参阅常见问题解答

服务

管理网站设置

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