交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
J·汉南。和普芬宁,F。1992LF中的编译器验证.第页。407
菲利普·格罗特1993STACS 93标准.第665卷,问题,第页。712
H.赞蒂玛。1993条件项重写系统.第656卷,问题,第页。155
罗宾·米尔纳1994编程语言和系统-ESOP’94.第788卷,问题,第页。26
皮埃尔·卢伊斯·居里和塞雷塞·哈丁1994理论明珠然而λ+SP的反例.函数编程杂志,第4卷,发布。1,第页。113
伊恩·麦基1994Lilac:一种基于线性逻辑的函数式编程语言.功能编程杂志,第4卷,发布。4,第页。395
莫妮卡·奈西瓦莱里亚·佩瓦和艾克·里特1994高阶代数、逻辑和术语重写.第816卷,问题,第页。256
Z.M.阿里奥拉。和Klop,J.W。1994循环lambda图重写.第页。416
法国贝勒加德和詹姆斯·胡克1994替换:使用monad和转换的形式化方法案例研究.计算机程序设计科学,第23卷,发布。2-3,第页。287
安德鲁·戈登。1994高阶逻辑定理的证明及其应用.第780卷,问题,第页。413
兰迪·波拉克1994证明和程序的类型.第806卷,问题,第页。313
艾克·里特1994高阶型λ-演算的范畴抽象机.理论计算机科学,第136卷,发布。1,第页。125
艾克·里特1994计算机科学逻辑.第832卷,问题,第页。295
杰拉德·布多尔1994十年并行思考与展望.第803卷,问题,第页。92
所罗门·费弗曼1995定义.埃尔肯特尼斯,第43卷,发布。三,第页。295
杜维克,G。哈丁,T。和C·基什内尔。1995通过显式替换实现高阶统一.第页。366
丹尼尔·布里奥德1995类型化Lambda演算及其应用.第902卷,问题,第页。94
阿尔特·卡奇,哈桑和雅克·加里格1995标签选择λ-演算语法与合流.理论计算机科学,第151卷,发布。2,第页。353
法鲁兹卡马雷丁和亚历杭德罗·雷奥斯1995程序设计语言:实现、逻辑和程序.第982卷,问题,第页。45
杰勒德·博多尔和科西莫·拉内夫1995重数λ-演算中的终止、死锁和发散.理论计算机科学电子笔记,第1卷,问题,第页。32