本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
第1章 引言
1.1 模型程序设计语言
1.2 λ记法
1.3 等式,归纳和语义
1.4 类型和类型系统
1.5 记法和数学约定
1.6 集合论基础知识
1.7 语法和语义
1.8 归纳法
第2章 PCF语言
2.1 引言
2.2 PCF语法
2.3 PCF程序及其语义
2.4 PCF归纳和符号解释程序
2.5 PCF编程样例,表达能和限度
2.6 PCF的变体和扩展
第3章 泛代数及代数数据类型
3.1 引言
3.2 代数规范概述
3.3 代数,基调和项
3.4 等式,可靠性和完备性
3.5 同态和始代数
3.6 代数数据类型
3.7 重写系统
第4章 简单类型化λ演算
4.1 引言
4.2 类型
4.3 项
4.4 证明系统
4.5 Henkin模型,可靠性和完备性
第5章 类型化λ演算模型
5.1 引言
5.2 域论模型和不动点
5.3 不动点归纳
5.4 计算适当性和完全抽象
5.5 递归理论模型
5.6 部分等价关系和递归
第6章 命令式程序
6.1 引言
6.2 while程序
6.3 操作语义
6.4 指称语义
……
第7章 范畴和递归类型
第8章 逻辑关系
第9章 多态与模块性
第10章 类型适应性和相关概念
第11章 类型推理
参考文献
一看就懂的Excel办公技巧全图解 本书特色 《一看就懂的excel办公技巧全图解》打破了从职位到行业的职能界限,让工作轻松对号入座;打通从心法到招式的关键穴道...
本书共分为4篇9章,从监测、工具,分析、优化,标准等若干维度解读如何做好大规模应用的性能管理。书中分别详细介绍了应用性能的
《你不知道的美国那些事儿》内容简介:作者专从华侨华人及留学生在美国政治、经济、文化和其他领域的生活视点出发,展示美国华人社
这是一部色彩理论和实际应用的通用指导,为艺术家和设计师提供一系列的色彩概念,条理清晰,简单易懂。斯蒂芬·潘泰克和理查德·
《上古夏商周》内容简介:这是《装在口袋里的爸爸》衍生系列作品,是独立于文字版和漫画版之外的全新历史小说,讲述了这样的故事:
《星教练的轻食主义》内容简介:轻食主义是近年来非常流行的饮食方式,它既是一种清淡的饮食方式,更是一种均衡、自然、健康的生活
《图解新款汽车传感器结构、原理与检修》内容简介:本书在系统介绍传感器结构与测量原理的基础上,系统总结了汽车传感器的结构类型
网格是所有设计的基础,对设计师来说,学会运用网格是进行所有设计的基础。运用从一栏到多栏网格,与文字、色彩、图像及其他诸多
Recentdecadeshaveseenadramaticshiftawayfromsocialformsofgamblingplayedaroundroul...
《帝国首辅:张居正》内容简介:23岁初入官场,张居正是一个刚正不阿的理想主义者,却在亲历腥风血雨的内阁斗争后,痛悟了什么是政
CCNP实战指南:远程接入 本书特色 本书适用于想要通过CCNP远程接入书面考试的网络技术人员,以及那些希望获得实际经验以轻松应付日常工作的人。由于本书既包括了...
《RPA智能机器人》内容简介:这是一部为企业应用RPA智能机器人提供实施方法论和解决方案的著作。作者团队RPA技术、产品和实践方面有
《开国领袖毛泽东》内容简介:《开国领袖毛泽东》真实地再现了共和国开国奠基特定历史环境中领袖人物毛泽东的心路历程、行为轨迹和
《解密·带状疱疹神经痛》内容简介:带状疱疹是临床常见疾病之一,它常见和棘手的并发症是带状疱疹神经痛和带状疱疹后神经痛,它们
《OpenCV+TensorFlow深度学习与计算机视觉实战》内容简介:本书旨在掌握深度学习基本知识和特性的基础上,培养使用TensorFlow+Open
ProgrammingontheWebtodaycaninvolveanyofseveraltechnologies,buttheCommonGatewayIn...
《简单高效LaTeX》内容简介:本书从解答为何要学习使用LaTeX谈起,以丰富的范例和简洁的语言,系统介绍了科学排版系统LaTeX的基础知
你想要在互联网上赚钱吗?想要做好电子商务吗?那么你一定不能忽视社交媒体的力量。不管你想要营销的是实物商品、电子类产品还是
服装CAD 本书特色 《服装CAD(附光盘)》由董伟英主编,本教材有以下特点:1.教材内容的设置新颖、实用、符合现代教学思想突出以应用为核心,紧密联系企业生产实...
《二战经典战役系列丛书:攻克柏林(图文版)》内容简介:柏林战役是由苏联红军组织实施的最后一次战略性进攻战役,此役惨烈程度不