本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
第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章 类型推理
参考文献
ExcelVBA范例应用大全1001例(含光盘) 本书特色 Excel 2003与Excel 2007软件完全适用书中详解400个实例,热点应用全面覆盖代码注释...
《计算机网络(第5版)》自1989年首次出版以来,于1994年、1999年和2003年分别出了修订版。2006年8月本教材通过了教育部的评审,被
《鲁迅信札藏笺》内容简介:邹晏清、詹秋洁两位上海鲁迅纪念馆研究人员编著的这册《鲁迅信札藏笺》,通过原件展示,解读鲁迅的亲笔
C#数据库系统开发完全手册-数据库管理系统开发从技术到实践(附光盘) 本书特色 本书全面、系统地介绍了使用C#进行数据库应用程序开发必须掌握的技术、方法和过程。...
从Telsa到iPhone,从星巴克到无印良品,无论是塑造产品,还是打造品牌,设计似乎成为商业成功不可或缺的因素。然而,为什么绝大多
IfyouareadesignerwhoknowsHTML,CSS,andJavaScript,youcaneasilylearnhowtomakenative...
《书法美育的经典图释》内容简介:本书为陈振濂书法美育思想的“图像篇”,是针对书法美育的一次力行实践,对书法美育的推广与普及
内容简介:本书讲的不是你写的代码,而是你赖以生存的密码。软件开发行业的从业人员成千上万,你如何保证自己出色地完成自己的工
《清华交互设计丛书·智捷课堂经典·交互设计的艺术:iOS7拟物化到扁平化革命》是一本关于移动应用设计的书。《清华交互设计丛书
《Effective C#(原书第3版)》内容简介:在本书中,世界知名的.NET专家Bill Wagner先生给出了50条建议,告诉你怎样充分利用C#6.0所
《超300款系列:吃不胖的下饭菜》内容简介:发胖并不是源于吃多了,关键在于怎么吃,吃什么。有些可口美味的下饭菜吃了真的不会发胖
《我为什么自己的书一本没写》内容简介:一本挑战悖论的不可能之书。乌力波文学经典。法国黑色幽默文学大奖获奖作品。幽默解剖写作
《国际平面设计基础教程》包括《字体设计》《色彩设计》《图形设计》《规格设计》《版式设计》,均使用同一ISBN。目录 简介如何
《说笑:有效有范儿的表达技巧》内容简介:本书是《吐槽大会》卡司、“脱口秀女王”思文的幽默沟通之道。与人沟通并不容易,我们往
《中山风雨话沧桑:1937~1947年河北省定(北)县党的建设及革命斗争追忆》内容简介:这是一部百岁老人刻骨铭心的回忆。它从独特的
《他是龙》内容简介:本书虚构了一个人与龙共存的世界。为了完成种族的复兴,龙族最后的血脉阿尔曼抓走人族的公主。然而,由于各种
《安全通论:刷新网络空间安全观》内容简介:本书构建了一套网络空间安全的统一基础理论体系,在理工科范围内(不含心理学、社会学
川久保玲為何如此令人動容?首本剖析COMMEdesGARÇONS祕密的教科書從未知的形狀、不對稱結構的衣版,探索她前衛的創造原點——「不
深入浅出AutoCAD.NET二次开发B4003 本书特色 《深入浅出AutoCAD.NET二次开发(附光盘)》由李冠亿编,全书结构合理、图文并茂、讲解生动、实...
《汉晋女德建构》内容简介:中国现代性,是以否定和反叛传统文化的姿态出现的,其中《列女传》、《女诫》等承载传统女德的重要文本