阿尔特·卡奇，哈桑；雅克·加里格 标签选择\（\lambda\）-演算语法和合流。 （英语） Zbl 0871.68032号 西奥。计算。科学。 151，第2期，353-383（1995）. 摘要：我们介绍了\（lambda\）-演算的一个扩展，称为label-selective\（lampda\）-clucium，其中函数的参数由标签选择。标签集将符号关键字与数字位置组合在一起。虽然前者享有自由交换，但后者和相对重新编号需要将交换扩展到冲突名称，并允许完全携带。这个\（lambda \）-演算的扩展是保守的，当我们限制自己只使用一个标签时，它与\（lampda \）-calculates一致。本文的主要结果是证明了标号选择演算是合流的。换言之，论点的选择和减少相抵。 引用于1审查引用于1文件 MSC公司： 68甲15 编程语言理论 关键词：\（\lambda\）-微积分；记录演算；并发；通信 软件：LISP公司；阿达95 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci}和\textit{J.Garrigue}，Theor。计算。科学。151，编号2，353--383（1995；Zbl 0871.68032） 全文： 内政部 参考文献： [1] M.阿巴迪。；Cardelli，L。；居里，P.L。；Lévy，J.-J.，显式替换，J.Funct。编程，1,4375-416（1991）·Zbl 0941.68542号 [2] 艾特·卡奇，H。；Garrigue，J.，《标签选择λ-演算：语法与合流》，（Proc.Conf.on Foundations of Software Technology and Theoret.Compute.Sci.Proc.Conf on Foundation of Software Technology and Theoret.计算科学，印度孟买，1993（1993），Springer:Springer Berlin），24-40，761·兹比尔0925.03090 [3] H.Aït-Kaci和K.Milsted，并行标签选择性λ-演算，PRL研究报告，数字设备公司，巴黎研究实验室，法国鲁厄尔·马尔迈森，即将出版。；H.Aït-Kaci和K.Milsted，并行标签选择性λ-演算，PRL研究报告，数字设备公司，巴黎研究实验室，法国鲁厄尔·马尔迈森，即将出版。 [4] 艾特·卡奇，H。；Podelski，A.，《迈向生命的意义》，J.Logic Programming，16，3&4，195-234（1993）·Zbl 0782.68022号 [5] Boudol，G.，《面向并发和通信系统的lambda-calculus》（Proc.TAPSOFT’89）。程序。TAPSOFT’89，柏林，1989年。程序。塔普索特89。程序。TAPSOFT’89，柏林，1989，计算机科学讲稿，第351卷（1989），施普林格：施普林格柏林），149-161 [6] de Bruijn，N.G.，Lambda微积分符号与无名假人，自动公式操作工具，Indag。数学。，34, 381-392 (1972) ·Zbl 0253.68007号 [7] Curien，P.-L.，《分类组合器、序列算法和函数编程》（Categorical Combinators，Sequential Algorithms，and Functional Programming），（《理论计算机科学进展》（1993），Birkhäuser:Birkháuser Boston），皮特曼著，1986年·Zbl 0643.68004号 [8] Dami，L.，HOP：带端口的层次化对象（Tsichritzis，D.，对象框架，对象框架技术报告（1992），日内瓦大学） [9] Dami，L.，《软件组合：面向功能和面向对象方法的集成》，（博士论文（1994），日内瓦大学，经济科学与社会学院：日内瓦大学，瑞士经济科学学院） [10] Garrigue，J.，转换演算及其类型化，（类型理论及其在计算机系统中的应用程序研讨会，类型理论及其对计算机系统的应用程序讲习班，京都大学RIMS课堂讲稿，第851卷（1993年8月），34-45·Zbl 0939.68702号 [11] Garrigue，J.，《转换演算》（技术报告94-09（1994年4月），东京大学信息科学系）·Zbl 1354.68046号 [12] Garrigue，J.，标签选择lambda-calculi和转换计算（1995年3月，东京大学信息科学系博士论文） [13] Garrigue，J。；Aít-Kaci，J.，类型多态标签选择λ-演算（Proc.ACM Symp.Principles of Programming Languages，1994），35-47 [14] 辛德利，J.R。；Seldin，J.P.，《组合器和λ-微积分导论》，（伦敦数学学会学生课本，第1卷（1986），剑桥大学出版社：剑桥大学出版社）·Zbl 0469.03006号 [15] Huet，G.，《合流约简：术语重写系统的抽象属性和应用》，J.Assoc.Compute。数学。，27, 4, 797-821 (1980) ·Zbl 0458.68007号 [16] Landin，P.J.，表达式的力学评估，计算。J.，6，4，308-320（1964）·Zbl 0122.36106号 [17] Ledgard，H.（《美国残疾人协会：导言》，《美国残疾人学会参考手册》（1980年7月）（1981年），施普林格：柏林施普林格出版社） [18] Milner，R.，《作为过程的功能》（Rapport de Recherche 1154（1990年2月），INRIA:INRIA Rocquencourt，法国）·Zbl 0766.68036号 [19] Milner，R.，《多元π演算：教程》，（规范的逻辑和代数。规范的逻辑与代数，北约ASI系列（1992），施普林格：施普林格柏林），203-246 [20] Ohori，A.，ML型多态记录的编译方法，（美国计算机学会程序设计语言原理研讨会（1992）），154-165 [21] Steele，G.L.，《通用LISP：语言》（1984），数字出版社·Zbl 0757.68008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。