论文部分内容阅读
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。
数据类型上的可计算性
【摘 要】
：
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。
【机 构】
：
大学计算机科学与技术系,南京大学软件新技术国家重点实验室
【出 处】
：
1998年华人理论计算机科学年会
【发表日期】
：
1998年期
其他文献
据11月30日出版的《自然》杂志报道，美国科学家声称已研究出一种预防埃博拉病毒的疫苗，在猴子身上的试验效果良好。研究人员希望这一疫苗最终发展成用于人类的疫苗。科学家们将
本文较为详细的叙述了在微机上使用FOXBASE数据库语言编制模块化应程序的过程。该程序初步实现在金融系统资金清算领域管理方面的自动化，该程序在人员机构，设备管理，通讯状况，业
该数据库系统在调查电源规划工作数据需求的基础上，建立了基本的数据库文件，该系统选择合适的数据库管理系统（Ｆｏｘｐｒｏ２．６ ｆｏｒ ｗｉｎｄｏｗｓ），结合规划部门对管理的要求开发数据库的各种管理功能模块，包括数
该文介绍了数据库知识发现(KDD)研究情况，包括其定义、处理过程以及主要的方法 和技术，同时介绍了KDD的应用，并指导了目前KDD研究的挑战性。
为解决能源在我国各地区分布不均匀的问题,我国开始实施各项政策工程.而天然气能源运输就是长输管道施工的主要铺设对象,必须确保天然气运输的安全性和科学性.基于此,论文针
该文主要阐述了采用Ｉｎｔｅｒｎｅｔ／Ｉｎｔｅｒｎｅｔ这种数据库系统构建模式，应用Ｂｒｏｗｓｅｒ／Ｗｅｂ ｓｅｒｖｅｒ建网技术，为山西省某特大型煤炭企业建立一种基于Ｗｅｂ的煤炭信息系统，并与Ｉｎｔｅｒｎｅｔ相连。
5005棉由中国农科院从抗虫品系谱选育出的抗虫5～7天播种一批。菜地宜择化沃疏松、深水和排水性较好、近水源的砂质上捕前先结合翻土．每亩基施优质腐熟粪肥3000公斤．尔后挖墒建畦
该文围绕隶属云作为一种通用知识发现工具的设计和应用这一主题，对各种隶属云对象进行了分类；用虚拟云的概念扩展了云理论，并在聚合云的基础上构造了系统聚类算法，应用于分类知识