next up previous contents
Next: -Reduction Up: Beta Conversion Previous: Beta Conversion   Contents
New book on A++ and the Lambda Calculus available!

Rule of beta conversion-Conversion

Beta Conversion


Georg Loczewski 2003-08-07