带类型λ—演算的扩充

来源 :福州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:love916579208
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在许多情况下λ-演算的能力不够、Felleisen M等把λ-演算加以扩充,并证明扩充后的语言λc具有某些基本性质.本文试图为λc-演算加上类型,给出带类型λc-演算的逻辑系统,然后考虑它的指称语义.
其他文献
以系统工程角度引入体系的概念,以银行的业务资金管理为对象介绍了如何建立相应体系,体系如何进行及其有关特点,并说明这些都可以在计算机上实现.
本文试图建立一个由行为人组成测度空间和商品无穷维空间的一般经济均衡模型,证明了该模型的均衡存在性.此外还讨论了纯交换经济模型的均衡存在性.
达到性成熟的繁殖母兔为确保繁殖效果常进行发情鉴定,常用方法有:行为观察法:处于发情期的母兔常表现精神不安,食欲减少,躁动,用下颌摩擦餐具,并有叼草筑窝和隔笼观望等行为;非
目的 提高 PCB 的检测和故障诊断能力, 从而提高 PCB 的维修性. 方法 结构标准化和应用新的可测性设计. 结果 PCB 的测试检测能力显著提高. 结论 可测 性设计是提高 PCB 测试
通过测定人血清脱铁转铁蛋白C-端结合部位结合铽(Ⅲ)荧光强度随时间的变化,在0.1 mol/L Hepes、pH7.4及室温下观察了柠檬酸对人血清脱铁转铁蛋白结合铽(Ⅲ)的脱除。结果表明,低柠檬
考虑了横向剪切力和切向位移的影响,给出任意长圆柱壳在动荷载下的非线性稳定性方程,采用小扰动法级数展开,通过Laplace变换求解,利用边界条件得出移动环荷载下的临界荷载。
先引入半群S上的L-Fuzzy同余关系的概念,进而讨论L-Fuzzy同余关系的几个基本性质,然后证明半群S上的所有L-Fuzzy同余关系作成一个格,同时证明群G上所有L-Fuzzy同余关系作成一个模格.
目前对糖尿病的治疗主要有饮食控制或运动,口服降糖药(2型糖尿病)和注射胰岛素.90年代以来确立的治疗目标为:(1)血糖的精确控制.糖尿病控制和并发症研究(DCCT)及英国前瞻性糖
在磷酸介质中,以溴酸钾氧化结晶紫褪色为指示反应,建立了测定亚硝酸根的流动注射催化光度法。检测的线性范围在5~100μg/L。