论文部分内容阅读
逻辑类型理论讨论具有独立逻辑内核的类型系统，本文在对逻辑类型理论一般原则扣讨论及一些著名逻辑类型系统的分析的基础上加入提出了一新颖的逻辑类型系统。
类型理论原理
【摘 要】
：
逻辑类型理论讨论具有独立逻辑内核的类型系统，本文在对逻辑类型理论一般原则扣讨论及一些著名逻辑类型系统的分析的基础上加入提出了一新颖的逻辑类型系统。
【机 构】
：
上海交通大学
【出 处】
：
软件学报
【发表日期】
：
1997年A00期
其他文献
阳原台SQ-70型石英摆倾斜仪在2003年10月进行了数字化改造。改造后的数字化仪器经过5年多的运行,较模拟观测仪器观测精度逐年提高。目前,该仪器观测精度已经进入全国最好水平的行列,运行状况良好,产出资料稳定、可靠,与模拟观测相比各方面均提高了一个新台阶。
重症肺炎起病急、发展快，不及时治疗，死亡率较高，我科RICU2005年1月至2008年3月收治重症肺炎12例，在积极抗感染基础上，对其合并呼吸衰竭采用鼻面罩呼吸机抢救，取得较好效果，12例中男
一、霉菌性肺炎霉菌性肺炎是由白色念珠菌侵入下呼吸道所致。由于抗生素和激素类药物的广泛应用,此类肺炎发病率有上升趋势。 (一) 病因:白色念珠菌为酵母样菌,可寄生在健康
目的 探讨氨溴索针剂对慢性阻塞性肺疾病（COPD）并呼吸衰竭患者机械通气过程中呼吸力学的影响。方法 COPD并呼衰的机械通气患者，随机分成对照组和治疗组，治疗组加用氨溴索针剂治疗
采用文献资料,以归纳方法综述了非智力因素在体育教学中的研究进展.在体育教学中,不仅要培养学生有健康的体魄和运动技能,而且还要培养学生要具备一定的社会交往能力、良好的
为了适应市场经济发展的需要，石油企业积极推进建立现代企业制度的进程，实施“主辅分离”、“减员增效”、“改组改制”的企业改革方案，致使过去高度计划经济体制管理下形成的企
羊膜制备及贮存:采集12小时内健康母体羊水澄清之眙盘,剪下羊膜,无菌操作下去除血块及蜕膜,以生理盐水反复冲洗,按需要裁成不同大小,浸于0.1％庆大霉素液中15分钟后即可应用。
办公自动化(OA)是人们谈论了几十年的老话题,由于互联网技术在我国迅速发展和普及,办公自动化已成为社会信息化的基础.我们的用户水平参差不齐,如何更好的应用信息技术实现办