论文部分内容阅读
为研究高阶子类型的范畴论语义模型，区分了带高阶子类型的类型系统中的各种上下文，并简化其中的受限全称量词类型引入规则，而提出了类型系统λωX≤，文章介绍该类型系统有关类别（Kind)算子（Operator)，项（Term）的规则，及其与建立范畴论语义模型有关的结构性质。
类型系统λωX≤
【摘 要】
：
为研究高阶子类型的范畴论语义模型，区分了带高阶子类型的类型系统中的各种上下文，并简化其中的受限全称量词类型引入规则，而提出了类型系统λωX≤，文章介绍该类型系统有关类别（K
【机 构】
：
中山大学计算机科学系
【出 处】
：
中山大学学报：自然科学版
【发表日期】
：
2001年3期
【基金项目】
：
高等学校博士学科点专项科研基金!资助项目 (980 5 5 80 1)
其他文献
随着国家对高素质应用型人才和农业科技化的重视,培养高素质的农科类高素质人才是值得重视的问题。本文探讨了培养高素质农科类全日制专业学位硕士研究生的模式,并提出了建议
积极发展茶叶生产加速摆脱贫困面貌黄宗明，邓建马边彝族自治县劳动乡井池沟村山高坡陡，资源贫乏，交通不便。近年来，该村在不放松粮食生产的同时，大力调整种植结构，走出了一条脱贫致
针对国内大学生创新思维能力不尽人意的情况,对辽宁科技大学师生进行问卷调查,利用信度分析与因子分析确定了教师自身、学生自身、社会环境、家庭环境、网络环境、学校的体制
心理学史是本科应用心理学专业的核心课程。本研究采用叙事研究方法,探讨了心理学史课程教学中的发现学习。结果显示,发现学习突出了大学学习的自主性、研究性和创新性,有效
有关网络的拥塞控制是网络设计和管理中一个重要问题。论述基于帧中继网络开发的专用综合服务通信网络（ERPISCN）的拥塞控制的特点和实际拥塞控制的方法。
本课题首先阐述了新媒体环境下高校校园文化所呈现出动态性、自主性、多样性的特点,将其现有的研究进行一定的综述;随后介绍新媒体环境为高校校园文化所带来的机遇和挑战,最
九年级（下册·人教版）第六单元 初中的生活是五彩的，青春的岁月是值得铭记的，成长的足迹是那样的清晰。初中生活，是如此美妙的一段时光。记录着你我的成长。当我们再回首时，看
随着诊治观念和手段以及内固定材料应用的进展，尤其是可吸收螺钉的应用使踝关节骨折的治疗更有效，疗效更满意。现就本院2003年至2006年46例踝关节骨折不同材料应用效果报告如下
朴槿惠、李明博、金大中、金泳三、朴正熙、李承晚，这几位的名字大家应该都有印象，他们就是现任和曾经的韩国总统。在韩国有一种说法，从首都首尔市中心的南山顶扔下一块石头，肯定
目的探讨输尿管镜下钬激光治疗嵌顿性输尿管结石并发息肉的方法。方法应用输尿管镜直视下钬激光治疗嵌顿性输尿管结石并发息肉26例。结果术后随访6～12个月，疗效均满意，肾积水改