本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于高等研究的技术参考书。
第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章 类型推理
参考文献
《清华交互设计丛书·智捷课堂经典·交互设计的艺术:iOS7拟物化到扁平化革命》是一本关于移动应用设计的书。《清华交互设计丛书
数控编程技术228例 本书特色 本书对228个数控机床编程与造型实例进行了分析和讲解,每个编程实例的主要内容有零件分析、工艺分析、工件坐标系的设定、编制加工程序...
网站运维工作,一向以内容繁杂、覆盖面广著称。《网站运维技术与实践》选取日常工作涉及的监测调优、日志分析、集群规划、自动化
《PPT演示之道:写给非设计人员的幻灯片指南(全彩)》从设计原则和思路出发,帮助读者掌握制作PPT的精髓,并在其中穿插了实用的功能
《信息可视化的艺术》内容简介:英国皇家艺术学院信息体验系主任Kevin Walker和伦敦大学歌德史密斯学院教授Brock Craft作序推荐 《
《服从力》内容简介:服从力这本书,周平老师和多位作者已构思多年。看到非常多的人,因为服从力不够而在岗位中处处受挫;看到非常
Python在Unix和Linux系统管理中的应用 本书特色 《Python在Unix和Linux系统管理中的应用(影印版)》为开明出版社出版发行。Python...
《万历十五年欧洲那些事儿》内容简介:读者将读到的是一个个名垂青史的鲜明人物,一个个跌宕起伏的精彩故事。公元1587年,在中国为
《画笔下的城市》内容简介:在艺术家的眼里,每个城市都有独特的本土文化和艺术风格。本书收集了26位艺术家的城市手绘作品,包括从
《亲历延安岁月:延安中央医院的往事》内容简介:作者历时8年,拜访了100多位在中央医院工作过的老同志和200多位延安时期的爸爸妈妈
《Bootstrap实战(第2版)》内容简介:Boostrap是Twitter公司内部的一个工具,开源之后迅速得到了各方的认可。本书基于最新Bootstr
《幸福,从看见自己开始》内容简介:书中探讨了现代人普遍存在的安全感、自我价值感、亲密关系、金钱观、孤独与自由等社会话题。两
《看得懂的金融投资课》内容简介:什么是货币?什么是金融?你要怎么做才能获得更高的、更稳健的投资收益,更好地分析投资的风险,
WhatdoAmazonsproductreviews,eBaysfeedbackscoresystem,SlashdotsKarmaSystem,andXbo...
本书是美国德保罗大学DePaulUniversity教授R.Johnsonbaugh等人长期从事算法课程教学经验的结晶,是一本关于算法基础知识和基本方
Python绝技-运用Python成为顶级黑客 本书特色 python是一门常用的编程语言,它不仅上手容易,而且还拥有丰富的支持库。对经常需要针对自己所处的特定...
《老老恒言》内容简介:《老老恒言》是一部汇集清以前各家养生思想,并结合作者自己的切身体会,总结编纂而成的老年养生专著,号称
《华杉讲透《资治通鉴》9》内容简介:《资治通鉴》从战国写到五代十国,生动展现了十六个朝代一千三百六十二年历史中一个个活生生的
《零基础学Java》内容简介:本书主要介绍Java语言编程的入门知识。其中涉及的内容有网络编程技术、图形编程技术、数据库编程技术等
《核技术解读中医药千年奥秘》内容简介:本书为“走进美丽的核科学世界系列”之一,主要内容包括核医学成像、放射性药物、放射性核