《程序设计语言理论》是2004年高等教育出版社出版的图书，作者是陈意云。该书主要讲述了分析程序设计语言语法、操作和语义性质的一个基于λ演算系统框架。

本书给出分析程序设计语言语法性质、操作性质和语义性质的一个框架，该框架基于λ演算系统。全书围绕着λ演算的一个序列来组织，该序列中λ演算的类型系统依次变得越来越复杂，这些λ演算用来分析和讨论相应的程序设计语言概念，如多态性、抽象数据类型、子类型等。以类型系统为中心对程序设计语言进行的这种研究，在软件工程、语言设计、高性能编译器、计算机和网络安全等方面有着重要应用。本书可作为高等院校计算机科学及相关专业的研究生教材，也可供计算机软件工程高级技术人员参考。

第1章引言

1.1基本概念

1.1.1模型语言

1.1.2九表示法

1.1.3记号和约定

1.2等式、归约和语义

1.2.1公理语义

1.2.2操作语义

1.2.3指称语义

1.3类型和类型系统

1.3.1类型和类型系统

1.3.2类型语言的优点

1.4归纳法

1.4.1表达式上的归纳

1.4.2证明上的归纳

1.4.3良基归纳

习题

第2章可计算函数程序设计语言

2.1引言

2.2语法

2.2.1概述

2.2.2布尔值和自然数

2.2.3二元组和函数

2.2.4声明和语法美化

2.2.5递归函数和不动点算子

2.2.6语法总结和例子

2.3程序和语义

2.3.1程序和结果

2.3.2公理语义

2.3.3指称语义

2.3.4操作语义

2.3.5由各种形式的语义定义的等价关系

2.4归约和符号解释器

2.4.1归约的合流性

2.4.2归约策略

2.4.3最左归约和惰性归约

2.4.4并行归约

2.4.5急切归约

2.5程序设计实例、表达能力和局限

2.5.1记录和n元组

2.5.2查找自然数

2.5.3迭代和尾递归

2.5.4完全递归函数

2.5.5部分递归函数

2.5.6并行运算的不可定义性

2.6衍生和扩充

2.6.1单元类型与和类型

2.6.2递归类型

习题

第3章泛代数和代数数据类型

3.1引言

3.2代数、基调和项

3.2.1代数

3.2.2代数项的语法

3.2.3代数以及项在代数中的解释

……

第4章简单化类型λ演算

第5章类型化λ演算的模型

第6章命令式程序

第7章多态性

第8章子定型及有关概念

第9章类型推断

参考文献