Next:
Detailed Discussion of Addition
Up:
aplpleonl
Previous:
ARSAPI
Contents
Start
Appendices
Subsections
The Lambda Calculus
Introduction
Origin
Definition
Literature
Syntax of Lambda Expressions
Basic Rules for Lambda Conversions
Notation used in Conversion Rules
Notation used to specify conversion of lambda expressions
Notation used to specifiy substitution
Alpha Conversion
Bound and Free Variables
Rules of Alpha Conversion
Beta Conversion
Rule of
-Conversion
-Reduction
-Abstraction
Eta Conversion
-Reduction
-Abstraction
Rules of Associativity
Rule of Associativity for Abstraction
Rule of Associativity for Application
Example for both rules:
Y-Combinator
Definition
Basic Usage of Y-Combinator
Using the Y-Combinator to implement recursion
Testing the Y-Combinator in A++
A++ Source code of Y-Combinator test program
Running the Y-Combinator test program
Comments on the Y-Combinator test program
Background of the Author
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
-Conversion
-Reduction