Introduction to Lambda Calculus
Henk Barendregt Erik Barendsen
Revised edition
December 1998, March 2000
,
,Contents
1 Introduction 5
2 Conversion 9
3 The Power of Lambda 17
4 Reduction 23
5 Type Assignment 33
6 Extensions 41
7 Reduction Systems 47
Bibliography 51
3
,
Henk Barendregt Erik Barendsen
Revised edition
December 1998, March 2000
,
,Contents
1 Introduction 5
2 Conversion 9
3 The Power of Lambda 17
4 Reduction 23
5 Type Assignment 33
6 Extensions 41
7 Reduction Systems 47
Bibliography 51
3
,
