论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
有归纳类型的马丁夫类型理论在经典集合论中有一简单的模型。构造演算不存在经典集合论模型，但在构造集合论中有模型。本文刻画了构造演算法归纳类型的构造集语义。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1998年3期
【基金项目】
：
国家自然科学基金
其他文献
本文提出一个过程间数据流分析的框架。经将层次式任务图ＨＴＧ（ｈｉｅｒａｒｃｈｉｃａｌ－ｔａｓｋ ｇｒａｐｈ）用于程序功能并行性的表示与挖掘。在框架中定义了过程表ＰｒｏｃＴａｂｌｅ和二叉树形式的过程调用图ＢＣＧ（ｂｉｎａｒｙ－ｃａｌｌ－ｇｒａｐｈ），以使算法的时空代价最小。
随着信息技术的不断发展和素质教育的全面推进，多媒体在学生愉悦学习、创新学习中发挥着日益巨大的作用。课堂是一个特定的空间，学生在课堂上学习的主动性、积极性是学生学习主
考试是千百年来在教学实践中总结出来的,能督促学生学习,了解学生学习成绩,检查学习质量,选拔人才的一种重要手段。正确组织考试,并将考试范围和要求,重点放在学科的基础知识
文章通过对现有阅读推广组织文献的分析研究,指出阅读推广组织的研究主题和存在问题,并提出在全媒体时代背景下,构建便于组织合作的阅读推广体系是未来图书馆阅读推广组织发
“根据国家教育部门统计,全国现有近百万的贫苦儿童由于种种原因而不能进课堂。我们应该动员全社会的力量资助‘希望工程’,帮助那些辍学的孩子们重新返回课堂。”一位白发老
公安院校重要教学内容之一的警察体育课，承担着对未来警官强健体魄的锻炼、警务技能的训练和进行素质教育的重任。在新的形势下只有改革传统的培养模式，改革警体教学方法，激发学
文章通过借助SATI、CiteSpace、Ucinet和Netdraw等文献题录分析和社会网络可视化软件,运用关键词共词分析法,梳理了国内图书馆创客空间研究现状,并从高校图书馆、公共图书馆
图书馆员是公共文化服务创新发展的生力军,其各方面的素养及综合服务能力直接影响图书馆事业的发展。文章通过分析在提高图书馆员服务能力的工作中存在的问题并提出解决的对
本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足，然后定义了超决定结构、模型和语义的概念，具体描述了超决定语义计算过程，从而给出了一种能够处理知识库中不一致性