Next:
The Lambda Calculus
The Lambda Calculus
Syntax
Bound and free variables
Computation
Defining some constants
Examples of reductions
Substitution
Normal forms
The Church-Rosser Theorem I
Different reduction strategies
The Church-Rosser Theorem II
Recursive functions
Fixpoints
Recursive functions using Y
Church's thesis
About this document ...
Alan Bond
1998-10-12
