论文部分内容阅读
ＣＤＴ是以范畴理论为基础建立起来的数据类型，它在计算机并行处理中有极为重要的应用。通过使用不同的构造器能够建立各种不同的ＣＤＴ，该文探讨基于同一初始类型下表的不同构造器的ＣＤＴ之间的关系。
表的不同构造器下CDT之间的关系
【摘 要】
：
ＣＤＴ是以范畴理论为基础建立起来的数据类型，它在计算机并行处理中有极为重要的应用。通过使用不同的构造器能够建立各种不同的ＣＤＴ，该文探讨基于同一初始类型下表的不同构造器的ＣＤＴ之间的
【机 构】
：
西安交通大学
【出 处】
：
计算机工程与应用
【发表日期】
：
2000年7期
其他文献
研究了半连续格及半代数格的一些映射性质，讨论了强连续格的函数空间，给出了强连续格到方体的嵌入定理。
高职院校的财务工作历来是学校全面、协调、持续发展的重要保障,它承担着依法筹措办学资金、规范各项经济秩序、保障国有资产壮大增值与完整、努力提高
随着我国的市场竞争越来越激烈,集团企业要想在这样的环境下生存和发展,必须对集团企业进行会计核算,以此来规范集团企业的发展,有效的避免企业财务上的风险,从而提高集团企
在管理信息系统中，信息查询模块可设计成通用的部件，以软件ＩＣ的形式集成到应用系统中。该文简要地分析了研制通用查询工具的可能性和必要性，进而详细地介绍了它的设计方法和实现技