论文部分内容阅读
作者研究λ演算中第二不动点的性质，首先关于第二不动点的３个例题之间的关系且证明了这们，然后为第二不动点组合子给以一个充分条件且作一系列的第二不动点组子，作者还提出和证明了多元第二不点宣。
λ演算中的第二不动点定理
【摘 要】
：
作者研究λ演算中第二不动点的性质，首先关于第二不动点的３个例题之间的关系且证明了这们，然后为第二不动点组合子给以一个充分条件且作一系列的第二不动点组子，作者还提出和证明
【出 处】
：
软件学报
【发表日期】
：
1996年A00期
其他文献
《音乐课程标准》的颁布与实施，使得音乐教育在价值取向、基本理念、课程目标、内容标准及教学评价等方面进行了重大的创新和调整。新的课程改革不仅改革了学生的学习，更推动了
现在社会发展了,人们的习惯和周围的环境也发生了变化,人们所患的疾病已由原来的传染性疾病,转变为现在的慢性非传染性疾病,而且致病原因复杂,潜伏期长,造成的形态功能损害一
全国范围内的再就业工程从1995年实施迄今已两年多了。当前,下岗职工的再就业问题,已引起了人们的广泛关注。据最新资料统计,到今年一季度末,全国31个省、自治区、直辖市的国
文章在分析了我国企业在实施多元化经营战略方面的概况后,从多元化经营战略目标的确定,多元化战略时机的掌握以及多元化战略面临的风险三个方面论述我国企业采取多元化战略目
分析了东郭井自2008年1月观测以来出现的水位与水温成组异常及其与周围中等地震活动的关系,研究结果显示:异常与地震有较好的对应关系,其异常的基本特征是水位阶降与水温缓升的形态配套,异常的幅度与震级大小有一定关系,异常持续的时间与井震距有一定的关系,还讨论了异常的机理。
随着油田勘探开发程度的不断提高,勘探开发项目对专业软件的依赖程度也越来越大,由于各种功能软件彼此独立,往往安装运行在不同的系统平台上,存在应用过程复杂、数据不统一,
改革开放以来，特别是中央第三次西藏工作座谈会以来，在自治区党委、政府的关怀下，在市委、市政府的高度重视和正确领导下，在有关部门和对口援藏省市的大力支持和帮助下，在广大教育
赤城井水温2010年底至2011年初由下降趋势转折上升,最大上升幅度约0.02℃,本文对此现象进行了实地调查和分析研究。通过环境因素对比分析,认为该井水温转折上升与赤城县城区