摘要
马丁·阿巴迪和塞德里克·福内特。 移动价值观、新名称和安全通信。 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,第104至115页,2001年。 谷歌学者 数字图书馆 马丁·阿巴迪和安德鲁·戈登。 密码协议的互模拟方法。 北欧计算机杂志,5:267--3031998。 初步版本出现在《编程语言与系统——ESOP’98》,第七届欧洲编程研讨会,Ph《计算机科学讲义》,Springer Verlag,第1381卷,第12-26页,1998年。 谷歌学者 数字图书馆 马丁·阿巴迪和安德鲁·戈登。 密码协议演算:spi演算。 信息与计算,148(1):1-701999。 初步版本见1997年第4届ACM计算机和通信安全会议记录,第36-47页。 谷歌学者 数字图书馆 萨姆森·阿布拉姆斯基。 懒惰的lambda演算。 大卫·A·特纳(David A.Turner),编辑,《函数编程研究主题》,第65-117页。 艾迪森·卫斯理,1990年。 谷歌学者 数字图书馆 Michele Boreale、Rocco De Nicola和Rosario Pugliese。 加密过程的证明技术。 SIAM计算机杂志,31(3):947-9862002。 初步版本出现在1999年第14届IEEE计算机科学逻辑研讨会上,第157-166页。 谷歌学者 数字图书馆 约翰·博格斯特罗姆(Johannes Borgström)和乌维·内斯特曼(Uwe Nestmann)。 关于spi演算的互模拟。 在第九届代数方法论和软件技术国际会议上,计算机科学讲稿第2422卷,第287-303页。 Springer-Verlag,2002年。 谷歌学者 数字图书馆 德里克·德雷尔(Derek Dreyer)、卡尔·克莱里(Karl Crary)和罗伯特·哈珀(Robert Harper)。 高阶模的一种类型系统。 2003年第30届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,第236-249页。 谷歌学者 数字图书馆 Dan Grossman、Greg Morrisett和Steve Zdancewic。 句法类型抽象。 美国计算机学会程序设计语言与系统汇刊,22(6):1037--10802000。 谷歌学者 数字图书馆 道格拉斯·J·豪。 证明函数式编程语言中互模拟的一致性。 信息与计算,124(2),1996年。 谷歌学者 数字图书馆 阿兰·杰弗里和朱利安·拉特克。 走向地名互模拟理论。 在1999年第14届IEEE计算机科学逻辑年会上,第56-66页。 谷歌学者 数字图书馆 阿兰·杰弗里和朱利安·拉特克。 对具有本地名称的并发ML片段进行互模拟的理论。 理论计算机科学,2003年。 出现。 扩展摘要出现在2000年第15届IEEE计算机科学逻辑年会上,第311-321页。 谷歌学者 数字图书馆 詹姆斯·莱弗(James J.Leifer)、吉勒斯·佩斯金(Gilles Peskine)、彼得·苏厄尔(Peter Sewell)和基斯·万斯堡(Keith Wansbrough)。 具有哈希类型的全局抽象安全封送。 《第八届ACM SIGPLAN函数编程国际会议论文集》,第87-982003页。 谷歌学者 数字图书馆 芭芭拉·利斯科夫。 CLU的历史。 在第二届ACM SIGPLAN编程语言史会议上,第133-1471993页。 谷歌学者 数字图书馆 加文·洛维(Gavin Lowe)。 对Needham-Schoreder公钥身份验证协议的攻击。 信息处理信函,56(3):131-1331995。 谷歌学者 数字图书馆 约翰·米切尔(John C.Mitchell)。 关于数据表示的等价性。 《人工智能和计算数学理论:纪念约翰·麦卡锡的论文》,第305-330页。 学术出版社,1991年。 谷歌学者 数字图书馆 约翰·米切尔(John C.Mitchell)和戈登·普洛金(Gordon D.Plotkin)。 抽象类型有存在类型。 美国计算机学会程序设计语言与系统汇刊,10(3):470-5021988。 初版发表于1985年第12届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集,第37-51页。 谷歌学者 数字图书馆 詹姆斯·莫里斯(James H.Morris Jr.Lambda-编程语言的演算模型)。 1968年,麻省理工学院博士论文。 谷歌学者 James H.Morris Jr.编程语言保护。 ACM通讯,16(1):15--211973。 谷歌学者 数字图书馆 James H.Morris Jr.类型未设置。 第1届ACM SIGACT-SIGPLAN编程语言原理年度研讨会论文集,第120-124页,1973年。 谷歌学者 数字图书馆 罗杰·尼达姆和迈克尔·施罗德。 在大型计算机网络中使用加密进行身份验证。 ACM通讯,21(12):993-9991978。 谷歌学者 数字图书馆 本杰明·皮尔斯和埃希罗·苏米。 相关密码学和多态性,2000年。 手稿。 http://www.yl.is.s.u-tokyo.ac.jp/ ~sumii/pub/。 谷歌学者 安德鲁·皮特斯(Andrew M.Pitts)。 存在类型:逻辑关系和操作等价。 《第25届国际自动化、语言和编程学术讨论会论文集》,《计算机科学讲义》第1443卷,第309-326页。 Springer-Verlag,1998年。 谷歌学者 数字图书馆 安德鲁·皮特斯(Andrew M.Pitts)。 参数多态性和操作等效性。 计算机科学中的数学结构,10:321-3592000。 初版发表于HOOTS II第二期语义高阶操作技术研讨会,《理论计算机科学电子笔记》,第10卷,1998年。 谷歌学者 数字图书馆 安德鲁·皮特斯(Andrew M.Pitts)和伊恩·斯塔克(Ian Stark)。动态创建局部名称的高阶函数的可观测特性,或者:有什么新特性? 《计算机科学数学基础》,《计算机科学讲义》第711卷,第122-141页。 Springer-Verlag,1993年。 谷歌学者 数字图书馆 约翰·雷诺兹(John C.Reynolds)。 类型、抽象和参数多态性。 在信息处理83,IFIP第九届世界计算机大会论文集,第513-523页,1983年。 谷歌学者 Andreas Rossberg。抽象类型的生成性和动态不透明度。 《第五届国际ACM SIGPLAN声明性编程原则与实践会议论文集》,第241-2522003页。 谷歌学者 数字图书馆 Davide Sangiorgi和Robin Milner。 “弱互模拟”问题。 在CONCUR’92,第三届并行理论国际会议上,计算机科学讲义第630卷,第32-46页。 Springer-Verlag,1992年。 谷歌学者 数字图书馆 彼得·苏厄尔(Peter Sewell)。 模块、抽象类型和分布式版本控制。 在第28届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,第236页至第247页,2001年。 谷歌学者 数字图书馆 伊恩·斯塔克(Ian Stark)。名称和高阶函数。 剑桥大学博士论文,1994年。 http://www.dcs.ed.ac.uk/home/stark/publications/thesis.html。 谷歌学者 埃希罗·苏米(Eijiro Sumii)和本杰明·皮尔斯(Benjamin C.Pierce)。 加密的逻辑关系。 第14届IEEE计算机安全基础研讨会,第256-269页,2001年。 长版本将出现在《计算机安全杂志》上。 谷歌学者 数字图书馆 埃希罗·苏米(Eijiro Sumii)和本杰明·皮尔斯(Benjamin C.Pierce)。 动态密封的相互模拟。 http://www.cis.upenn.edu/ ~sumii/,2003年。 谷歌学者 Steve Zdancewic、Dan Grossman和Greg Morrisett。 编程语言原理:一种语法证明技术。 《第四届ACM SIGPLAN函数编程国际会议论文集》,第197-207页,1999年。 谷歌学者 数字图书馆
索引术语
动态密封的互模拟