Explicit Substitutions: A Short Survey

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户：tcsr888

【摘要】

：

CalculiofexplicitsubstitutionsareextensionsoftheA-calculusinwhichthesubstitutionsarerecordedexplicitlylbymeansofoperationsofthesyntax.Thisideafindsitsoriginsint

【作者】

：

Pierre-LoutsCurien

【机构】

：

LIENS,CNRS-EcoleNormaleSuperieure,Paris,France

【出处】

：

Journal of Computer Science and Technology

【发表日期】

：

1998年06期

【关键词】

：

calculus

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

CalculiofexplicitsubstitutionsareextensionsoftheA-calculusinwhichthesubstitutionsarerecordedexplicitlylbymeansofoperationsofthesyntax.ThisideafindsitsoriginsinthecategoricalinterpretationsofA-calculi,proposedbyLambekintheseventies[1].Categoriesaregraphswi Calculi ofexplicitsubstitutionsareextensionsoftheA-calculusinwhichthesubstitutionsarerecordedexplicitlylbymeansofoperationsofthesyntax.ThisideafindsitsoriginsinthecategoricalinterpretationsofA-calculi, proposedbyLambekintheseventies [1] .Categoriesaregraphswi

其他文献

怎样预测火场房屋坍塌

火场上，如何预测受灾房屋的倒塌时间呢？一、从几种常见的建筑材料的耐火极限观察。1.钢材受600℃高温达15分钟后，将失去承重强度。可根据火势大小，判断温度，再判断燃烧时间，超过这

期刊

板条抹灰吊顶高温作用燃烧时间耐火极限被困人员耐火性能表面剥落承重能力建筑材料木质结构

内蒙古扎鲁特地区钠闪石花岗岩体的岩石地球化学特征

摘要：总结和评述内蒙古扎鲁特地区钠闪石花岗岩地球化学特征。其主量元素以高硅富碱低钙为特征。稀土元素含量较高，是其他类型花岗岩的数倍甚至几十倍，且轻重稀土元素分馏明显，具明显的铕负异常，稀土元素配分模式呈典型的右倾“V”字型。微量元素最显著的特征是选择性富集与亏损。Sr含量很低，强烈亏损。高场强元素Zr、Hf、Nb的含量普遍偏高；大离子亲石元素Rb、U、Th含量高；过渡元素Zn则相对富集。表现为A

期刊

钠闪石花岗岩花岗岩类钠闪石花岗岩A型花岗岩稀土元素地球化学特征花岗质岩浆花岗岩体拉张构造

提高客户/服务器应用系统处理性能的思路及方法

对一般开发者来说，做得最多的就是进行客户／服务器系统的应用逻辑设计，这项工作往往直接影响到应用系统的处理性能。怎样才能提高设计质量是每一个开发者都很关心的问题。本文基

期刊

服务器应用处理性能服务器系统应用系统应用程序完整性约束业务规则存储过程处理逻辑销售订单

灵魂捕捉器:捕捉你的思想与情感

你希望永远活在世上吗?到2050年,你也许真的能够实现自己的愿望——假如你愿意把自己的身体抽成真空,在硅集成电路中找到安身之地。准确地说,这种技术只是使你的思想和灵魂

期刊

硅集成电路自动编目个人档案传感信号语音识别理解问题嵌装电视采访最佳答案采访对象

Chemical Potential Dependence of Vertices

Based on the rainbow-ladder approximation of the Dyson-Schwinger equations and the assumption ofthe analytieity of the fermion-boson vertex in the neighborhood

期刊

vertexneighborhoodquarkladderDysonRobertsapplyholdsBetheassumption

硅材料的现况与展望

当今的世界进入了一个高度发展的信息社会时代,计算机技术广泛应用于国民经济的各个领域,大规模(LSI)及超大规模集成电路(VLSI:Very Large Scale Integration)的迅速发展,开

期刊

硅单晶随机存贮半导体材料ULSI材料控制掺杂剂氮化硅直拉法晶体表面硅晶体

主编的约稿

我是通过《金钥匙》的漫画认识曾庆龙主编的。那些漫画寥寥数笔,却入木三分,富有哲理,融思想性、文学性,艺术性于一体,常令我拍案叫绝。漫画虽小,但方寸之间却反映作者的才气

期刊

金钥匙方寸之间格调文学性所作一篇给我海关总署满口答应赛赛

内蒙古向北开放的基本情况及对策探讨

改革开放以来,特别是近年来,在内蒙古自治区党委、政府的高度重视和正确领导下,各地区、各部门解放思想,更新观念,积极主动地参与国际经济技术合作与竞争,“引进来”与“走出

期刊

内蒙古自治区解放思想对俄对外开放格局北开企业对外投资旅游节合资建设出境手续重要矿产资源

苏哈托的独裁高尔夫

大独裁者苏哈托对他的挥杆却不怎么“独裁”……苏哈托在1967年以血腥的暴力手段取得印度尼西亚的统治权,他用高压的独裁统治在之后的31年连续5次当选印尼总统。当他被赶下台

期刊

苏哈托高尔夫大独裁者美国前总统大人物独裁统治暴力手段印度尼西亚克林顿星球

自体眼表移植术

目的探讨和总结自体眼表移植术的手术技术。方法取患眼健康象限或对侧眼浅层角膜或角结膜组织为供体,为16只瞳孔区角膜斑翳或因烧伤发生自溶性溃疡的角膜作自体眼表移植术

期刊

移植术角膜斑翳对侧眼瞳孔区眼表自体移植防盲结膜组织上皮移植本术式

Explicit Substitutions: A Short Survey

其他学术论文