《λ-演算的语法和语义》求取 ⇩

第0章读者须知1

第一部份基本概念3

第1章介绍3

1.1 λ-演算概况3

1.2 完备偏序和Scott拓扑7

1.3 练习题14

第2章换位17

2.1 λ-项和换位17

2.2 理论的若干变种26

2.3 第二部份概貌32

2.4 练习题35

第3章归约37

3.1 归约的概念37

3.2 β-归约43

3.3 η-归约46

3.4 第三部份概貌50

3.5 练习题54

第4章理论57

4.1 λ-理论57

4.2 第四部份概貌62

4.3 练习题63

第5章模型65

5.1 组合代数66

5.2 λ-代数和λ-模型69

5.3 语法模型77

5.4 在具体笛卡尔闭范畴上的模型79

5.5 在（任意）笛卡尔闭范畴上的模型81

5.6 其他模型描述；范畴模型89

5.7 第五部份概貌93

5.8 练习题97

第二部份换位100

第6章经典λ-演算100

6.1 不动点组合子100

6.2 标准组合子101

6.3 λ-可定义性102

6.4 数系105

6.5 再谈不动点；Godel数106

6.6 不可判定性108

6.7 自身表达句和递归定理109

6.8 练习题110

第7章组合理论113

7.1 组合逻辑113

7.2 CL-归约115

7.3 CL和λ之间的关系116

7.4 练习题120

第8章经典λ-演算（续）123

8.1 基和枚举123

8.2 一致性；无穷序列125

8.3 可解性；首范式127

8.4 偏函数的可定义性132

8.5 练习题135

第9章λI-演算137

9.1 广义性137

9.2 可定义性138

9.3 组合子141

9.4 可解性145

9.5 练习题154

第10章Bohm树156

10.1 基本概念156

10.2 比较Bohm树；∧上的树拓扑166

10.3 超Bohm技术178

10.4 项的可分离性185

10.5 λI-演算中的可分离性189

10.6 练习题197

第三部份归约200

第11章基本定理200

11.1 Church-Rosscr定理200

11.2 展开的有限性205

11.3 λI-守恒定理212

11.4 标准化214

11.5 练习题217

第12章强等价归约219

12.1 归约图219

12.2 CR和FD!的加强形式226

12.3 标准化的加强形式230

12.4 练习题235

第13章归约对策236

13.1 对策分类236

13.2 能行正规化和同归对策237

13.3 递归CR对策242

13.4 能行永久对策245

13.5 最优对策250

13.6 练习题253

第14章加标归约256

14.1 强正规化256

14.2 应用261

14.3 连续性265

14.4 序列性和稳定性271

14.5 练习题277

第15章其它的一些归约279

15.1 BH-归约279

15.2 BHΩ-归约282

15.3 δ-归约292

15.4 练习题297

第四部份理论300

第16章灵敏理论300

16.1 К—理论300

16.2 К＊—理论304

16.3 2ψо灵敏理论307

16.4 В—理论310

16.5 练习题313

第17章其他λ理论314

17.1 半灵敏性和r.c．理论314

17.2 ω—理论318

17.3 λη的ω—规则部份有效性324

17.4 ω—规则和Кη332

17.5 练习题337

第五部份模型339

第18章模型的构造339

18.1 图模型Pω339

18.2 模型D∞345

18.3 模型В352

18.4 练习题356

第19章模型的局部结构362

19.1 Pω的局部结构362

19.2 D∞的局部结构367

19.3 连续的λ-模型370

19.4 练习题372

第20章模型的整体结构374

20.1 外延性；范畴性374

20.2 区域性质376

20.3 不可定义性的几个结果378

20.4 局部与整体可表示性的对比379

20.5 模型上的树拓扑382

20.6 练习题385

第21章组合群388

21.1 组合半群388

21.2 可逆性的特征389

21.3 G（λη）和G（H＊）群398

21.4 练习题402

参考文献404