摘要
S.Abramsky、R.Jagadeesan和P.Malacaria,“PCF的完全抽象” Inf.计算 2000年,第163卷,第2期,第409-470页。 谷歌学者 数字图书馆 S.Abramsky和G.McCusker,“线性、共享和状态:具有主动表达式的理想化算法的完全抽象语义”,in 类藻类语言 P.O’Hearn和R.Tennent,Birkhauser编辑,1997年。 谷歌学者 M.Barr,“代数紧函子” 纯代数与应用代数杂志 第82卷,第211-231页,1993年。 谷歌学者 交叉引用 J.Bénabou,“Les distributeers”,《技术报告》第33期,1973年。 谷歌学者 J.Bénabou,《经销商在工作》,2000年,课程笔记,达姆施塔特大学。 谷歌学者 R.Blute、J.R.B.Cockett和R.A.G.Seely,“差异类别” MSCS公司 2006年,第16卷,第6期,第1049--1083页。 谷歌学者 数字图书馆 R.Blute、T.Ehrhard和C.Tasson,“一个方便的微分类别” Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 第三卷,第211-232页,2012年。 谷歌学者 F.Borceux, 范畴代数手册I CUP,1994年。 谷歌学者 P.Boudes,“厚子树、游戏和实验”,in 薄层色谱分析 2009年,第65-79页。 谷歌学者 数字图书馆 G.Boudol、P.Curien和C.Lavatelli,“具有资源的lambda演算的语义,” MSCS公司 ,第9卷,第4期,第437--482页,1999年。 谷歌学者 数字图书馆 A.Bucciarelli、A.Carraro、T.Ehrhard和G.Manzonetto,“通过泰勒展开,通过测试对资源lambda演算进行全面抽象,” LMCS公司 ,第8卷,第1-44页,2012年10月。 谷歌学者 A.Bucciarelli和T.Ehrhard,“关于阶段语义和指称语义:指数” Ann.纯粹应用。 逻辑 ,第109卷,第3期,第205-241页,2001年。 谷歌学者 交叉引用 A.Bucciarelli、T.Ehrhard和G.Manzonetto,“并行和非确定性lambda-calculus的关系模型” LFCS公司 ,2009年,第107-121页。 谷歌学者 数字图书馆 A.Bucciarelli,“简单类型资源计算的分类模型” 选举人。 注释Theor。 计算。 科学 2010年,第265卷,第213--230页。 谷歌学者 数字图书馆 G.L.Cattani、M.P.Fiore和G.Winskel,《应用于并发的递归域理论》 低收入国家 1998年,第214-225页。 谷歌学者 数字图书馆 G.L.Cattani和G.Winskel,“Profunctors,open maps and bisimulation,” MSCS公司 2005年,第15卷,第3期,第553-614页。 谷歌学者 数字图书馆 G.Cruttwell,“规范空间与丰富范畴的基的变化”,达尔豪西大学博士论文,2008年。 谷歌学者 V.Danos和T.Ehrhard,“概率相干空间作为高阶概率计算的模型” Inf.计算 2011年,第209卷,第6期,第966--991页。 谷歌学者 数字图书馆 V.Danos和L.Regnier,“乘法的结构” 架构(architecture)。 数学。 日志 ,第28卷,第3期,第181-203页,1989年。 谷歌学者 交叉引用 D.de Carvalho,“通过指称语义和交集类型实现lambda-terms的执行时间,” CoRR公司 ,第abs/0905.42512009卷。 谷歌学者 P.Di Gianantonio和M.Lenisa,“通过交集类型分配系统的无辜游戏语义”,in CSL公司 ,第2013卷,2013年,第231-247页。 谷歌学者 M.Droste和W.Kuich,“半环和形式幂级数”,in 加权自动机手册 M.Droste、W.Kuich和H.Volger,Springer-Verlag编辑,2009年。 谷歌学者 T.Ehrhard,“关于Köthe序列空间和线性逻辑” MSCS公司 ,第12卷,第5期,第579-6232002页。 谷歌学者 数字图书馆 T.Ehrhard,“有限空间” MSCS公司 2005年,第15卷,第4期,第615-646页。 谷歌学者 数字图书馆 T.Ehrhard,“资源术语上的有限结构” 低收入国家 ,2010年,第402-410页。 谷歌学者 数字图书馆 T.Ehrhard,《微分线性逻辑导论:证明网、模型和反导数》 CoRR公司 ,第abs/1606.01642卷,2016年。 谷歌学者 T.Ehrhard和L.Regnier,“微分λ-微积分” 西奥。 计算。 科学 ,第309卷,第1-3期,第1-41页,2003年。 谷歌学者 数字图书馆 T.Ehrhard,《Böhm Trees,Krivine’s Machine and the Taylor Expansion of Lambda-Terms》,摘自 CiE公司 2006年,第186-197页。 谷歌学者 数字图书馆 T.Ehrhard,“差分相互作用网络” 西奥。 计算。 科学 2006年,第364卷,第2期,第166-195页。 谷歌学者 数字图书馆 T.Ehrhard,“一致性和普通lambda项的Taylor展开,” 西奥。 计算。 科学 第403卷,第2--3号,第347-372页,2008年。 谷歌学者 数字图书馆 T.Ehrhard、C.Tasson和M.Pagani,《概率相干空间对概率PCF是完全抽象的》 POPL公司 2014年,第309--320页。 谷歌学者 数字图书馆 H.Férée,“高阶复杂性的游戏语义方法” J.计算。 系统。 科学 2017年,第87卷,第1-15页。 谷歌学者 数字图书馆 M.P.Fiore,“计算和组合结构的数学模型”,in FoSSaCS公司 2005年,第25-46页。 谷歌学者 数字图书馆 M.P.Fiore、N.Gambino、J.M.E.Hyland和G.Winskel,“广义结构物种的笛卡尔闭合双范畴,” J.伦敦数学。 Soc公司 第77卷,第203-220页,2008年。 谷歌学者 交叉引用 P.Freyd,《代数完备范畴》 类别理论论文集,科莫1990 ,序列号。 LNM第1488卷。 斯普林格,1990年。 谷歌学者 A.Frölicher和A.Kriegle, 线性空间与微分理论 .威利,1988年。 谷歌学者 D.R.Ghica,《吃角子老虎:计算的定量模型》,in POPL公司 2005年,第85-97页。 谷歌学者 数字图书馆 J.Girard,“15年后的可变类型系统F” 西奥。 计算。 科学 .,第45卷,第2期,第159-1921986页。 谷歌学者 数字图书馆 J.Girard,“线性逻辑” 西奥。 计算。 科学 第50卷,第1-102页,1987年。 谷歌学者 数字图书馆 J.Girard,“正规函子、幂级数和λ-演算” Ann.纯粹应用。 逻辑 ,第37卷,第2期,第129-177页,1988年。 谷歌学者 交叉引用 一、游击队员, 代数语义 ,序列号。 计算机科学课堂讲稿。 施普林格,1981年,第99卷。 谷歌学者 数字图书馆 R.Hasegawa,“解析函子的两个应用” 西奥。 计算。 科学 .,第272卷,第1-2期,第113至175页,2002年。 谷歌学者 数字图书馆 R.Houston,“有限乘积是紧闭范畴中的二乘积,” 纯代数与应用代数杂志 ,第212卷,第2期,第394--400页,2008年。 谷歌学者 交叉引用 J.M.E.Hyland和C.-H.L.Ong,“关于PCF的完全抽象:I、II和III” Inf.计算 2000年,第163卷,第2期,第285--408页。 谷歌学者 数字图书馆 J.M.E.Hyland,“推广领域理论的一些原因” MSCS公司 2010年,第20卷,第2期,第239--265页。 谷歌学者 数字图书馆 A.Joyal,“Une theéorie combinetoire des séries formelles” 高级数学 第42卷,第182页,1981年。 谷歌学者 交叉引用 A.Joyal,“结构分析和特殊需求方” Combinatoireénumérative组合 施普林格,1986年,第126-159页。 谷歌学者 G.M.Kelly和M.L.Laplaza,“紧凑闭合类别的一致性” 纯代数与应用代数杂志 第19卷,第193-213页,1980年。 谷歌学者 交叉引用 A.J.Kfoury,“λ-演算和结果的线性化” J.日志。 计算 2000年,第10卷,第3期,第411-436页。 谷歌学者 交叉引用 Y.Lafont,“Logiques,catégories et machines”,巴黎大学博士论文,1988年7月。 谷歌学者 J.Laird,《定量语义学中的不动点》,in 低收入国家 , 2016. 谷歌学者 数字图书馆 J.Laird,“流动的加权关系模型”,in 金融稳定与发展部 2016年,第24:1--24:15页。 谷歌学者 J.Laird,《从定性语义学到定量语义学——通过基础的改变》,in FoSSaCS公司 2017年,第36-52页。 谷歌学者 数字图书馆 J.Laird、G.Manzonetto和G.McCusker,“构建差异类别和解构游戏类别,” 信息与计算 第222卷,第247--264页,2013年。 谷歌学者 数字图书馆 J.Laird、G.Manzonetto、G.McCusker和M.Pagani,“类型lambda演算的加权关系模型” 低收入国家 2013年,第301-310页。 谷歌学者 数字图书馆 F.Lamarche,“数量域和无穷代数” 西奥。 计算。 科学 1992年,第94卷,第1期,第37-62页。 谷歌学者 数字图书馆 C.Laneve和B.Victor,“独奏音乐会” MSCS公司 ,第13卷,第5期,第657--683页,2003年。 谷歌学者 数字图书馆 P.-A.Melliès,“比较线性逻辑模型中类型的层次结构” Inf.计算 第189卷,第2期,第202-234页,2004年。 谷歌学者 数字图书馆 P.-A.Melliès,“异步游戏2:纯真的并发性,” 西奥。 计算。 科学 2006年,第358卷,第2--3号,第200-228页。 谷歌学者 数字图书馆 P.-A.梅利埃, 线性逻辑的范畴语义 ,序列号。 《全景与合成》2009年第27期。 谷歌学者 P.-A.Melliès、N.Tabarau和C.Tasson,《线性逻辑自由指数形式的显式公式》 ICALP公司 2009年,第247至260页。 谷歌学者 数字图书馆 R.Milner,“类型化的完全抽象模型 λ -加尔各利” 西奥。 计算。 科学 1977年,第4卷,第1期,第1-22页。 谷歌学者 交叉引用 H.Nickau,“遗传顺序泛函”,in LFCS公司 1994年,第253-264页。 谷歌学者 数字图书馆 C.-H.L.Ong,“关于由高阶递归方案生成的模型检查树” 低收入国家 2006年,第81-90页。 谷歌学者 数字图书馆 C.-H.L.Ong,“通过遍历归一化” CoRR公司 ,第abs/1511.026292015卷。 谷歌学者 C.-H.L.Ong和T.Tsukada,《二级游戏语义、交集类型和递归方案》 ICALP公司 2012年,第325-336页。 谷歌学者 数字图书馆 M.Pagani、P.Selinger和B.Valiron,“将定量语义应用于高阶量子计算”,in POPL公司 2014年,第647-658页。 谷歌学者 数字图书馆 M.Pagani和P.Tranquilli,“平行减少资源lambda-calculus”,in 阿普拉斯 2009年,第226--242页。 谷歌学者 数字图书馆 G.D.Plotkin,“LCF被视为一种编程语言” 西奥。 计算。 科学 ,第5卷,第3期,第223-255页,1977年。 谷歌学者 交叉引用 D.Sands,“功能语言改进的操作理论(扩展抽象)”,摘自 格拉斯哥函数编程研讨会论文集 1991年,第298--311页。 谷歌学者 数字图书馆 D.Sands,“通过功能程序转换中的局部改进实现完全正确性” ACM事务处理。 程序。 语言系统 ,第18卷,第2期,第175-2341996页。 谷歌学者 数字图书馆 D.Scott和C.Strachey,“走向计算机语言的数学语义” 计算机与自动化专题讨论会 J.Fox编辑,1971年。 谷歌学者 A.K.Simpson和G.D.Plotkin,“范畴不动点算子的完备公理”,in 低收入国家 2000年,第30-41页。 谷歌学者 数字图书馆 T.Tsukada和K.Asada,“HO/N游戏中作为教授的策略”,2016年,在GaLoP研讨会上发表演讲。 谷歌学者 T.Tsukada、K.Asada和C.-H.L.Ong,“刚性资源术语的广义物种” 低收入国家 , 2017. 谷歌学者 数字图书馆 Tsukada和C.-H.L.Ong,“通过滑轮在游戏语义中的非决定论”,in 低收入国家 , 2015. 谷歌学者 数字图书馆 T.Tsukada,“通过非幂等交集类型充当资源项”,in 低收入国家 ,2016年,第237-246页。 谷歌学者 数字图书馆 G.Winskel,“价值传递过程的前置语义”,in CONCUR公司 1996年,第98-114页。 谷歌学者 数字图书馆
建议
Lambda抽象代数:Lambda微积分的协调模型 Lambda抽象代数被设计用于代数化非类型Lambda演算,方法与柱代数和多代数代数化一阶逻辑相同; 在这方面,它们被用作组合代数的替代品。 比如。。。 Lambda抽象代数:Lambda微积分的协调模型 Lambda抽象代数被设计为以圆柱代数和多元代数代数化一阶逻辑的方式来代数化非类型Lambda演算; 在这方面,它们被用作组合代数的替代品。 比如。。。