A Syntactic Proof of the Conservativity of λω over λ2

来源 :计算机科学技术学报（英文版） | 被引量 : 0次 | 上传用户：dewuwangwo

【摘要】

：

In this paper, the relationship between thesecond order typed λ-calculus λ2 and its higher orderversion λω is discussed. A purely syntactic proof of thecons

【作者】

：

SONG Fangmin QIAN Yuechen

【机构】

：

Department of Computer Science and Technology

【出处】

：

计算机科学技术学报（英文版）

【发表日期】

：

2004年期

【关键词】

：

λ-calculus second order typedλ-calculus

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

In this paper, the relationship between thesecond order typed λ-calculus λ2 and its higher orderversion λω is discussed. A purely syntactic proof of theconservativity of λω over λ2 is given.

其他文献

探究商品混凝土影响质量的因素

混凝土是建筑工程中不可缺少的建筑材料，其作为一种商品，需要进入市场，并且参与到市场竞争当中，而竞争的资本就是其本身质量的优劣，加强质量控制，是保证质量的关键，也是商品混凝土在

期刊

商品混凝土质量因素

智能油罐测量系统

详细论述了以89C51为核心，以NT872液位变送器为信号拾取部件的智能型静压式油罐测量系统的设计思想及工作原理．该系统具有结构简单、构思新颖、功能齐全、操作方便、可测油品温

期刊

油品静压液位变送器智能技术

公路工程中工程测量技术的应用分析

近些年，我国经济建设水平得到快速提升，公路建设也得到了较快的发展，工程测量技术在公路工程建设中得到了广泛的应用。本文主要对公路工程建设中常用的一些测量技术进行阐述，并对

期刊

公路工程测量技术发展

液压数字伺服系统优化中的线性调节器

了讨论离散系统函数优化问题中,包括离散系统变分法、离散系统动态规划、离散线性调节器等,这些方法均可用于解决数字控制系统最优化控制问题.为此以线性调节器为例,讨论了上

期刊

线性调节器离散状态方程差分方程

开展主动和全程管理与服务的免费出生缺陷干预模式探讨

黄埔区作为广州市最早开展主动和全程管理与服务的免费出生缺陷干预模式试点区之一,5年多来采用政府主导、计生牵头、卫生支撑、群众自愿的工作制度,按照WTO“三级预防”内容

期刊

主动和全程管理与服务出生缺陷干预模式

对新时期建筑混凝土施工技术的研究

近年来，我国对建筑行业的重视程度不断加深，新工艺、新材料不断被引入，施工质量不断提高。我国在混凝土方面的发展也有了一定的进展，对混凝土拌和物的研究投入逐年加大，这也是因为

期刊

施工工程混凝土施工技术要点

建筑工程混凝土模板施工工艺研究

混凝土建筑结构是目前最为常见并且实用的建筑结构形式之一，在建筑工程中主要应用了模板施工基本技术、模板配置技术、对建筑墙体模板进行加固细部处理、楼梯模板安装技术、柱

期刊

建筑工程混凝土模板施工工艺应用

大型振动流化床干燥机动态特性及动强度分析

应用振动理论，模态分析理论，机械强度理论及振动测试与分析技术对干燥机进行了计算模态分析，动态特性分析及动强度分析．并对干燥机的箱体进行了动态试验．通过计算和试验，找出了干燥

期刊

干燥机动态特性动强度

浅谈土木工程施工中裂缝处理策略

在土木工程的作业操作中，因为混凝土的质量、表面应力及传递途中形成的负面作用将造成混凝土作业中产生裂缝，此类问题将给建筑项目引入危险因素，使土木工程的没有持久性，损坏它的

期刊

土木工程裂缝处理

市政施工企业人力资源管理初探

随着社会经济的快速发展，人才的竞争也成了施工企业所面临的重要挑战。高素质、复合型、开创型人才日益成为施工企业发展的动力，谁拥有人才，谁就能够在市场竞争中取得胜利。基于

期刊

市政施工企业人力资源管理

A Syntactic Proof of the Conservativity of λω over λ2

与本文相关的学术论文