我试图理解计算的结构。这真是太棒了一个大胆的声明,我意识到,不可避免地,只有部分答案即将推出。然而,为什么不射向月球和去研究哪一个是最高水平的,哪一个会站得住脚时间的考验,而不是在几年内过时?
除了本身有趣之外,了解计算结构也是使用,和有效推理,高级计算代理。事实上,这种深刻见解所提供的简单性似乎我将成为发展可扩展理论的唯一途径成功应用于更多应用领域,如人工智能和软件开发。更详细地说,我在以下区域
范畴理论:没有范畴我们会怎么样理论。让我告诉你,情况更糟了!
Lambda-Calculus:把你的图灵机器扔到火灾。放开我的手,我们大步前进。。。
函数式编程:这就是上帝编程的方式。但是既然他不存在,就没有理由害羞。
重写系统:重写需要在语法和关系之间的中间抽象层模型。我有自己的想法,我会怎么做!
人工智能:假设它不是选择不以模块化的方式推理,我们如何推理模块化?提示一些非常好的算法。对,算法!!!
计算机代数:安妮想知道“我们能做到吗?”比编写大量小程序更好,每个程序都针对一个特定的代数结构。“所以我们转向我们的亲爱的老朋友Kan Extension博士。
[69]尼尔·加尼(Neil Ghani)和朱利安·赫奇斯(Julian Hedges)。 组合博弈论 提交至2016年《逻辑与社会行为程序》。[比伯特克斯]
[68]尼尔·加尼(Neil Ghani)、弗雷德里克·福斯伯格(Fredrik Forsberg)和费德里科·奥尔萨尼戈(Federico Orsanigo) 相关参数验证 WadlerFest会议记录,2016年。[比伯特克斯]
[67]尼尔·加尼(Neil Ghani)、弗雷德里克·福斯伯格(Fredrik Forsberg)和亚历克斯·辛普森(Alex Simpson)。 综合参数多态性:范畴模型和类型理论 2016年ETAPS最佳论文奖。[比伯特克斯]
[66]尼尔·加尼(Neil Ghani)、帕特里夏·约翰(Patricia Johann)、弗雷德里克·福斯伯格(Fredrik Forsberg)、费德里科·奥尔萨尼戈(Federico Orsanigo)和蒂姆·雷维尔(Tim Revell)。 参数多态的双有理函数语义 MFPS程序XXXI,2015。[比伯特克斯]
[65]尼尔·加尼(Neil Ghani)、罗伯特·阿基(Robert Atkey)、弗雷德里克·福斯伯格(Fredrik Forsberg)、萨姆·斯塔顿(Sam Staton)和蒂姆·雷维尔(Tim Revell)。 物理维上的多态模型 TLCA程序,2015年。[比伯特克斯]
[64]尼尔·加尼(Neil Ghani)、弗雷德里克·福斯伯格(Fredrik Forsberg)、费德里科·奥尔萨尼戈(Federico Orsanigo)。 参数多态性-普遍 2015年WoLLIC程序[比伯特克斯]
[63]尼尔·加尼(Neil Ghani)、罗伯特·阿特基(Robert Atkey)和帕特里夏·约翰(Patricia Johann)。 依赖类型理论的关系参数模型。 程序设计语言原理,2014年。[比伯特克斯]
[62]尼尔·加尼和彼得·汉考克 归纳递归的代数实现索引归纳递归 MSCS 2014接受。[比伯特克斯]
[61]尼尔·加尼(Neil Ghani)、洛伦佐·马拉特斯塔(Lorenzo Malatesta)和弗雷德里克·诺德瓦尔·福斯伯格(Fredrik Nordvall-Forsberg)。 正归纳递归。 2013年代数和余代数会议。[比伯特克斯]
[60]尼尔·加尼(Neil Ghani)、彼得·汉考克(Peter Hancock)、洛伦佐·马拉特斯塔(Lorenzo Malatesta)和弗雷德里克·诺德瓦尔·福斯伯格(Fredrik Nordvall-Forsberg)。 光纤数据类型。 《计算机科学中的逻辑》,2013年。[比伯特克斯]
[59]尼尔·加尼(Neil Ghani)、彼得·汉考克(Peter Hancock)、康诺·麦克布莱德(Conor McBride)、托尔斯滕·阿尔滕科奇(Thorsten Altenkirch)、洛伦佐·马拉特斯塔(Lorenzo Malatesta)。 小归纳递归。 《Lambda微积分与应用》,2013年。[比伯特克斯]
[58]尼尔·加尼(Neil Ghani)、克莱门特·福梅克斯(Clement Fumex)和帕特里夏·约翰(Patricia Johann)。 指数诱导和共诱导,纤维。 《计算机科学中的逻辑方法》,2012年。[比伯特克斯]
[58]尼尔·加尼。Robert Atkey和Patricia Johann 优化电感类型。 计算机科学中的逻辑方法8(2),2012年。[比伯特克斯]
[57]尼尔·加尼(Neil Ghani)、帕特里夏·约翰(Patricia Johann)和克莱门特·福梅克斯(Clement Fumex)。 普通纤维化诱导。 计算机科学中的逻辑方法8(2),2012[比伯特克斯]
[56]尼尔·加尼(Neil Ghani)、罗伯特·阿特基(Robert Atkey)、巴特·雅各布斯(Bart Jacobs)和帕特里夏·约翰(Patricia Johann)。 纤维诱导达到效果。 软件系统和计算结构基础,2012年。[比伯特克斯]
[55]尼尔·加尼(Neil Ghani)、克莱门特·福梅克斯(Clement Fumex)和帕特里夏·约翰(Patricia Johann) 指数诱导和共诱导,纤维。 代数与代数会议进展2011[比伯特克斯]
[54]Neil Ghani、Robert Atkey和Patricia Johann 什么时候类型优化是归纳类型? 2011年软件科学与计算结构基础进展[比伯特克斯]
[53]Neil Ghani、Clement Fumex和Patricia Johann 初等代数的纤维化归纳规则 2010年计算机科学逻辑程序[比伯特克斯]
[52]尼尔·加尼、彼得·汉考克、德克·帕丁森 最终余代数上的连续函数.数学基础课程编程语义,2009年[比伯特克斯]
[51]尼尔·加尼和帕特里夏·约翰 使用嵌套类型的Haskell编程:一种原则方法.高阶Smbolic计算杂志,2009[比伯特克斯]
[50]Neil Ghani、Peter Morris和托尔斯滕·阿滕柯奇(Thorsten Altenkirch)。 一个充满积极家庭的世界。.国际计算机科学基础杂志,2009年。[比伯特克斯]
[49]尼尔·加尼、彼得·汉考克和德克·帕丁森。 流处理器的嵌套不动点表示.2009年计算机科学中的逻辑方法[比伯特克斯]
[48]尼尔·加尼和帕特里夏·约翰 单子褶皱、单子建筑、单子短片融合。 2009年函数式编程趋势进程[比伯特克斯]
[47]尼尔·加尼(Neil Ghani)、毛罗·贾斯克利奥夫(Mauro Jaskelioff)和格雷厄姆·赫顿(Graham Hutton) 数学运算语义的模块化和实现。 数学结构函数编程过程,2008[比伯特克斯]
[46]Neil Ghani、Rawle Prince和Conor McBride 使用容器证明列表的属性。.2008年功能和逻辑编程程序[比伯特克斯]
[45]尼尔·加尼和帕特里夏·约翰 GADT结构化编程基础.《原理与编程语言学报》(POPL),2008年。[比伯特克斯]
[44]尼尔·加尼和帕特里夏·约翰 具有计算效果的递归程序的快捷融合。.2008年函数式编程趋势进程[比伯特克斯]
[43]尼尔·加尼和亚历山大·库兹 高维树,代数。.代数与代数2007年会议论文集[比伯特克斯]
[42]尼尔·加尼和帕特里夏·约翰 一元增强与广义捷径融合.《功能编程杂志》,2007年。[比伯特克斯]
[41]尼尔·加尼和帕特里夏·约翰 初始代数语义已经足够了!.《类型化兰姆达微积分程序及其应用》,2007年。[比伯特克斯]
[40]Neil Ghani、Peter Morris和托尔斯滕·阿滕柯奇(Thorsten Altenkirch)。 构建严格积极的家庭。.2007年澳大利亚计算理论研讨会论文集。[比伯特克斯]
[39]Neil Ghani、Makoto Hamana、Tarmo Uustalu和Varmo Vene 将循环结构表示为嵌套数据类型.2006年TFP会议记录[比伯特克斯]
[38]尼尔·加尼(Neil Ghani),约翰·鲍尔(John Power) 2006年CMCS.关节编辑器[比伯特克斯]
[37]尼尔·加尼、彼得·汉考克和德克·帕丁森 最后余代数上的连续函数.CMCS’06会议记录[比伯特克斯]
[36]Neil Ghani、Anne Heyworth、Ronnie Brown和Chris Wensley 用双陪集计算.符号计算杂志,2006[比伯特克斯]
[35]Neil Ghani、Tarmo Uustalu和Makoto Hamana 显式替换和高阶语法.高阶和符号计算,2006[比伯特克斯]
[34]Neil Ghani、Christoph Luth和Michael Abbott 抽象模块化.RTA 2005会议记录[比伯特克斯]
[33]Neil Ghani、Patricia Johann、Tarmo Uustalu和Varmo Vene 一元增强和广义捷径融合.2005年函数编程国际会议记录[比伯特克斯]
[32]Neil Ghani、Michael Abbott、Thorsten Altenkirch和Conor McBride 数据的δ:区分数据结构.基础信息学,2005[比伯特克斯]
[31]Neil Ghani、Michael Abbott和Thorsten Altenkirch 容器:构造严格的正类型。.理论计算机科学,2005[比伯特克斯]
[30]Neil Ghani、Christoph Luth和Federico De Marchi 并集的Monads:有理项和项图.计算机科学中的数学结构,2005[比伯特克斯]
[29]Neil Ghani、Michael Abbott和Thorsten Altenkirch 用w型表示嵌套归纳型.2004年ICALP会议记录[比伯特克斯]
[28]Neil Ghani、Tarmo Uustalu和Varmo Vene 建造、增援、摧毁。普遍地。.2004年APLAS会议记录[比伯特克斯]
[27]Neil Ghani、Michael Abbott、Thorsten Altenkirch和Conor McBride 构造商类型的多态程序.程序构造数学程序,2004[比伯特克斯]
[26]Neil Ghani和Tarmo Uustalu 理想单子的副积.思维信息学与应用杂志,2004[比伯特克斯]
[25]Neil Ghani、Tarmo Uustalu和Varmo Vene 扩充组合子的推广.2004年函数编程趋势汇编[比伯特克斯]
[24]尼尔·加尼和约翰·格里明 对象演算的双功能语义.2004年WOOD会议记录[比伯特克斯]
[23]Neil Ghani、Bjorn Victor和Kidane Yemane 关系阶段计算移动过程的微积分.CMCS’04会议记录[比伯特克斯]
[22]Neil Ghani、Michael Abbott和Thorsten Altenkirch 集装箱类别.FOSSACS’03会议记录[比伯特克斯]
[21]尼尔·加尼和安妮·海沃思 Reidermeister Schrier的改写替代方案.RTA’03会议记录[比伯特克斯]
[20]Neil Ghani、Michael Abbott、Thorsten Altenkirch和Conor McBride 容器衍生物.TLCA’03会议记录[比伯特克斯]
[19]Neil Ghani和Tarmo Uustalu 显式替换与高阶语法.2003年梅林会议记录[比伯特克斯]
[18]Neil Ghani、Christoph Luth和Federico De Marchi 用代数代数解代数方程.理论信息学与应用杂志,2003[比伯特克斯]
[17]Neil Ghani、Christoph Luth、Federico De Marchi和John Power 对偶初始代数.计算机科学中的数学结构,2003[比伯特克斯]
[16]尼尔·加尼和克里斯托夫·卢斯 通过Coinserters改写.北欧计算机杂志,2003[比伯特克斯]
[15]尼尔·加尼和克里斯托夫·卢斯 使用副积合成单子.ICFP'02会议记录[比伯特克斯]
[14]尼尔·加尼和安妮·海沃思 K模上的计算.CATS’02会议记录[比伯特克斯]
[13]尼尔·加尼和克里斯托夫·卢斯 单数和模块化.FROCOS’02会议记录[比伯特克斯]
[12]Neil Ghani、Christoph Luth和Federico De Marchi 煤炖Monad.CMCS’02会议记录[比伯特克斯]
[11]Neil Ghani、Christoph Luth、Federico De Marchi和John Power 代数、余代数、单数和余代数.2001年CMCS会议记录[比伯特克斯]
[10] Neil Ghani、Valeria de Paiva和Eike Ritter 线性显式替换.IGPL逻辑杂志,2000[比伯特克斯]
[9] Neil Ghani、Valeria de Paiva和Eike Ritter 显式替换的分类模型.1999年FOSSACS会议记录[比伯特克斯]
[8] Neil Ghani、Valeria de Paiva和Eike Ritter 建设性必要性的明确替代.ICALP’98会议记录[比伯特克斯]
[7] 尼尔·加尼 从属类型理论中的Eta展开---构造微积分.1997年TLCA会议记录[比伯特克斯]
[6] 尼尔·加尼和罗伯特·迪·科斯莫 关于高阶模的性质扩展Lambda微积分 .1997年ICALP会议记录[比伯特克斯]
[5] 尼尔·加尼和克里斯托夫·卢斯 Monad和模项重写.1997年CTCS会议记录[比伯特克斯]
[4] 尼尔·加尼 Eta扩展F类w个.1996年CSL会议记录[比伯特克斯]
[3] 尼尔·加尼和巴里·杰伊 Eta扩展的优点 .函数编程杂志,1995年[比伯特克斯]
[2] 尼尔·加尼 副积的Beta-Eta等式.TLCA’95会议记录[比伯特克斯]
[1] 尼尔·加尼 伴随改写.我的论文。除非在医疗监督下,否则不要阅读。[比伯特克斯]