摘要
Martín Abadi和Cédric Fournet。 移动价值观、新名称和安全通信。 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,第104至115页,2001年。 谷歌学者 数字图书馆 马丁·阿巴迪和安德鲁·戈登。 密码协议的互模拟方法。 北欧计算机杂志,5:267--3031998。 初版发表于1998年《编程语言与系统——ESOP》第七届欧洲编程研讨会,计算机科学博士讲稿,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-147页,1993年。 谷歌学者 数字图书馆 加文·洛维(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第二次语义学高阶运算技术研讨会上,《理论计算机科学电子笔记》,1998年第10卷。 谷歌学者 数字图书馆 安德鲁·皮特斯(Andrew M.Pitts)和伊恩·斯塔克(Ian Stark)。动态创建局部名称的高阶函数的可观测特性,或者:有什么新特性? 《计算机科学数学基础》,《计算机科学讲义》第711卷,第122-141页。 Springer-Verlag,1993年。 谷歌学者 数字图书馆 约翰·雷诺兹(John C.Reynolds)。 类型、抽象和参数多态性。 信息处理83,第九届世界计算机大会论文集,513-5231983页。 谷歌学者 Andreas Rossberg。抽象类型的生成性和动态不透明度。 《第五届国际ACM SIGPLAN声明性编程原则与实践会议论文集》,第241-2522003页。 谷歌学者 数字图书馆 戴维德·桑吉奥吉和罗宾·米尔纳。 “弱互模拟”问题。 在CONCUR'92,第三届并发理论国际会议,《计算机科学讲义》第630卷,第32-46页。 Springer-Verlag,1992年。 谷歌学者 数字图书馆 彼得·苏厄尔(Peter Sewell)。 模块、抽象类型和分布式版本控制。 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,第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年。 谷歌学者 数字图书馆
索引术语
动态密封的互模拟